1277 search results - page 187 / 256 » Terminating Decision Algorithms Optimally |
135
Voted
AIPS
2000
15 years 5 months ago
2000
1 We consider the problem of scheduling an unknown sequence of tasks for a single server as the tasks arrive with the goal off maximizing the total weighted value of the tasks serv...
132
Voted
MEMOCODE
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
116
Voted
SODA
2010
ACM
16 years 1 months ago
2010
ACM
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...
133
Voted
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
XML-based data dissemination networks are rapidly gaining momentum. In these networks XML content is routed from data producers to data consumers throughout an overlay network of ...
133
Voted
FSR
2003
Springer
15 years 9 months ago
2003
Springer
We describe a mobile robot system, designed to assist residents of an retirement facility. This system is being developed to respond to an aging population and a predicted shortage...