1283 search results - page 176 / 257 » Science: the rules of the game |
165
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
150
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
142
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
We have constructed “EventStream” data collection and analysis software framework to support a wide variety of sensors that measure user’s physical state. The framework’s ...
125
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— Third party developed software add-ins enhance the functionality of a large variety of base software such as operating systems, word processors, spread sheets, graphics...
178
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The confluence of virtual reality and artificial life, an emerging discipline that spans the computational and biological sciences, has yielded synthetic worlds inhabited by reali...