4192 search results - page 632 / 839 » Probabilistic Logic Programming |
127
click to vote
CODES
2008
IEEE
15 years 10 months ago
2008
IEEE
Application-specific system-on-chip platforms create the opportunity to customize the cache configuration for optimal performance with minimal chip estate. Simulation, in partic...
141
Voted
IJCAI
1997
15 years 4 months ago
1997
The class of algorithms for approximating reasoning tasks presented in this paper is based on approximating the general bucket elimination framework. The algorithms have adjustabl...
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
114
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
117
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Software libraries rely increasingly on iterators to provide generic traversal of data structures. These iterators can be represented either as objects that maintain state or as p...