3239 search results - page 307 / 648 » A Logical Process Calculus |
124
click to vote
LOPSTR
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
118
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Parallel processing networks, even full crossbars, that only implement point-to-point and multicast message passing are inefficient for collective communications because multiple ...
116
Voted
ICCD
1994
IEEE
15 years 8 months ago
1994
IEEE
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...
144
click to vote
ICDAR
1995
IEEE
15 years 8 months ago
1995
IEEE
A system for the acquisition, storage, indexing, and retrieval of map images is presented. The input to this system are raster images of separate map layers and map composites. A ...
161
click to vote
CADE
2008
Springer
15 years 6 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...