1581 search results - page 123 / 317 » Domain semantics of possibility computations |
189
Voted
ISSADS
2005
Springer
15 years 9 months ago
2005
Springer
Classical distributed database systems monolithically offer distribution transparency and higher performance. This is made possible by making data available and closer to the appl...
137
Voted
CCS
2007
ACM
15 years 7 months ago
2007
ACM
Trusted Computing (TC) is an emerging technology towards building trustworthy computing platforms. The Trusted Computing Group (TCG) has proposed several specifications to impleme...
152
Voted
NIPS
2008
15 years 5 months ago
2008
Research in animal learning and behavioral neuroscience has distinguished between two forms of action control: a habit-based form, which relies on stored action values, and a goal...
164
click to vote
OPODIS
2003
15 years 5 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
147
click to vote
FOCM
2011
14 years 7 months ago
2011
This paper considers large-scale simulations of wave propagation phenomena. We argue that it is possible to accurately compute a wavefield by decomposing it onto a largely incomp...