2278 search results - page 422 / 456 » Markov logic networks |
PADL
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
SC
2000
ACM
14 years 3 months ago
2000
ACM
The performance of the MPI’s collective communications is critical in most MPI-based applications. A general algorithm for a given collective communication operation may not giv...
CBMS
1999
IEEE
14 years 3 months ago
1999
IEEE
Recent advances in networking, robotics, and computer technology allow today realtime diagnosis, consultation, and education by using images obtained through remote microscopy. Th...
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
Marshaling is the process through which structured values are serialized into a stream of bytes; demarshaling converts this stream of bytes back to structured values. Most often, ...
MSE
1999
IEEE
14 years 2 months ago
1999
IEEE
Intellectual property IP blocks are being created for reuse and marketed as a means of reducing the development time of complex designs. This in turn leads to a reduction in time ...