| |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 10 of 33
reviews
|
|
|
 |
|
|
|
|
 Semantic bootstrapping: a theoretical perspective
Wu W., Li H., Wang H., Zhu K. IEEE Transactions on Knowledge and Data Engineering 29(2): 446-457, 2017. Type: Article
Language semantics can be seen as the natural language expressions of knowledge during learning, that is, during the knowledge acquisition process. Because learning is a bootstrapping process, it is natural for language semantics evalu...
|
Jun 27 2017 |
|
|
|
|
|
|
Towards Bayesian deep learning: a framework and some existing methods
Wang H., Yeung D. IEEE Transactions on Knowledge and Data Engineering 28(12): 3395-3408, 2016. Type: Article
Machine learning is successfully used in many computer applications today. This has spawned an abundance of research and publications on the topic. The main problem as I see it is the confusion machine learning terminology creates when...
|
Feb 1 2017 |
|
|
|
|
|
|
Dependence logic: theory and applications
Abramsky S., Kontinen J., Väänänen J., Vollmer H., Birkhauser, Basel, Switzerland, 2016. 261 pp. Type: Book (978-3-319318-01-1)
As computers penetrate human life in all its aspects, the difficulties of computer use during the human problem-solving process deepen. This may be a consequence of making the computer a universal problem-solving tool while problem dom...
|
Jan 26 2017 |
|
|
|
|
|
|
A formalization of programs in first-order logic with a discrete linear order
Lin F. Artificial Intelligence 235(C): 1-25, 2016. Type: Article
Computer programs are language expressions of computations in terms of both the computer, as their computing agent, and behavior, as the computation they represent. Reasoning about computer programs is difficult because of the differen...
|
May 24 2016 |
|
|
|
|
|
|
The Web of system performance
Whitworth B., Fjermestad J., Mahinda E. Communications of the ACM 49(5): 92-99, 2006. Type: Article
Abstractions are used by humans to express problems and their problem-solving actions. Machines have been created by humans to help them solve their problems by performing as follows:...
|
Sep 29 2006 |
|
|
|
|
|
|
Plausibility measures and default reasoning
Friedman N., Halpern J. Journal of the ACM 48(4): 648-685, 2001. Type: Article
The authors introduce a new approach to modeling uncertainty by generalizing a Kolmogorov probability space to a plausibility space. The generalization is obtained by replacing the probability measure on the interval [0,1] with an arbi...
|
May 23 2002 |
|
|
|
|
|
|
The Open VMS user’s guide (2nd ed.)
Holmay P., Digital Press, Newton, MA, 1998. Type: Book (9781555582036)
The merit of this book is mainly due to the rarity of user’s guides for digital computer systems. In the 1980s, VMS on VAX computers was a sophisticated operating system, and many expected it to become extensively used. The v...
|
Dec 1 1998 |
|
|
|
|
|
|
A process algebra of communicating shared resources with dense time and priorities
Brémond-Grégoire P., Lee I. Theoretical Computer Science 189(1-2): 179-219, 1997. Type: Article
The authors introduce an algebra of communicating shared resources and use it as a specification mechanism for distributed systems with resources and real-time constraints. The paper is organized in six sections and an appendix. Sectio...
|
Sep 1 1998 |
|
|
|
|
|
|
An accompaniment to higher mathematics
Exner G., Springer-Verlag New York, Inc., Secaucus, NJ, 1996. Type: Book (9780387946177)
Exner addresses students and teachers of mathematics, as well as working mathematicians, with the goal of helping them master their subject matter by reading mathematics independently and doing mathematics independently. The method adv...
|
May 1 1997 |
|
|
|
|
|
|
A Scalable Scheduling Scheme for Functional Parallelism on Distributed Memory Multiprocessor Systems
Pande S., Agrawal D., Mauney J. IEEE Transactions on Parallel and Distributed Systems 6(4): 388-399, 1995. Type: Article
A new scheduling technique that is targeted to program development for distributed memory multiprocessor systems is presented. The paper uses the concept of “functional parallelism,” which is defined as the parallel...
|
Nov 1 1996 |
|
|
|
|
|
| |
|
|
| |
|
|
