6808 search results - page 825 / 1362 » Distributed Concurrency Control |
192
click to vote
CADE
2009
Springer
16 years 1 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
173
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In nature, animal groups achieve robustness and scalability with each individual executes a simple and adaptive strategy. Inspired by this phenomenon, we propose a decentralize...
193
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— State estimation is addressed for a class of discrete-time systems that may switch among different modes taken from a finite set. The system and measurement equations of each ...
175
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We define the concept of approximate domain optimizer for deterministic and expected value optimization criteria. Roughly speaking, a candidate optimizer is an approximate dom...
187
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper studies robotic sensor networks performing coverage optimization tasks with area constraints. The network coverage of the environment is a function of the ro...