3238 search results - page 400 / 648 » On the Computational Interpretation of Negation |
178
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Detection of a global predicate is a fundamental problem in distributed computing. In this paper we describe new predicate detection algorithms for certain temporal logic predicat...
147
click to vote
ITICSE
2010
ACM
15 years 11 months ago
2010
ACM
This paper introduces the SOM (Simple Object Machine) family of virtual machine (VM) implementations, a collection of VMs for the same Smalltalk dialect addressing students at di�...
177
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
This paper describesthe application of spacetime constraints to creating transitions between segments of human body motion. The motion transition generation uses a combination of ...
206
click to vote
CLOR
2006
15 years 10 months ago
2006
Abstract. A popular framework for the interpretation of image sequences is the layers or sprite model, see e.g. [1], [2]. Jojic and Frey [3] provide a generative probabilistic mode...
191
click to vote
GRID
2000
Springer
15 years 10 months ago
2000
Springer
Resource management in the typical Grid environment based on multi-MPP systems or clusters today still is one of the challenging problems. We will present MeSch, a solution for the...