2089 search results - page 187 / 418 » Finding Environment Guarantees |
143
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
132
Voted
KESAMSTA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We describe and model a new aspect in the design of distributed information systems. We build upon a previously described problem on the microlevel, which asks how quickl...
124
click to vote
CSCW
2008
ACM
15 years 6 months ago
2008
ACM
Designers of Multi-Display Environments (MDEs) often use input redirection to allow users to manipulate content on multiple displays with a single interaction device, but users se...
146
click to vote
IJCAI
2007
15 years 6 months ago
2007
A key problem in reinforcement learning is finding a good balance between the need to explore the environment and the need to gain rewards by exploiting existing knowledge. Much ...
133
click to vote
ACE
2004
15 years 6 months ago
2004
The advent of Web technology has enabled new ways in which groups of people may interact, leading to the development of online communities. In an academic environment these virtua...