1523 search results - page 178 / 305 » Partially ordered secretaries |
144
click to vote
AIPS
2009
15 years 6 months ago
2009
The growing presence of household robots in inhabited environments arises the need for new robot task planning techniques. These techniques should take into consideration not only...
198
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
138
click to vote
AUTOMATICA
2007
15 years 5 months ago
2007
For fault-tolerant real-time filtering, an efficient two-filter architecture is proposed. In the two-filter architecture, a host filter is operated permanently. A compression filt...
149
click to vote
AMC
2006
15 years 5 months ago
2006
Derived from the Markov character only, the master equation of chemical reactions is an accurate stochastic description of quite general systems in chemistry. Exact solutions of t...
153
click to vote
FUIN
2008
15 years 5 months ago
2008
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Pe...