386 search results - page 21 / 78 » A Consistent Semantics of Self-adjusting Computation |
119
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...
129
click to vote
UIC
2007
Springer
15 years 8 months ago
2007
Springer
Nowadays, e-learning systems are widely used for education and training in universities and companies because of their electronic course content access and virtual classroom partic...
96
Voted
LPNMR
2005
Springer
15 years 7 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
123
click to vote
ACSC
2004
IEEE
15 years 5 months ago
2004
IEEE
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
118
Voted
MMSP
2008
IEEE
15 years 8 months ago
2008
IEEE
—This paper presents a camera combo system for personal remote collaboration applications. The system consists of two different cameras. One camera has a wide field of view, and...