522 search results - page 46 / 105 » A calendar with common sense |
149
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Consider a set of n > 2 simple autonomous mobile robots (decentralized, asynchronous, no common coordinate system, no identities, no central coordination, no direct co...
126
click to vote
CIKM
2000
Springer
15 years 10 months ago
2000
Springer
The challenge of automatically summarising Web pages and sites is a great one. However, currently there is no solution which offers an easy way to produce unbiased, coherent , and...
149
click to vote
KR
1994
Springer
15 years 10 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
155
click to vote
DFT
2004
IEEE
15 years 10 months ago
2004
IEEE
Reliability and manufacturing costs due to defects is a significant problem with image sensors and the ability to recover from a fault would alleviate some of these costs. A fault...
141
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...