6978 search results - page 1258 / 1396 » On Proofs in System P |
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
Conventionally, mobile robots are controlled through an action selection mechanism (ASM) that chooses among multiple proposed actions. This choice can be made in a variety of ways...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
Cardiovascular disease is one of the leading causes of death in the United States and also a major disease worldwide with over 700,000 coronary artery bypass graft (CABG) procedur...
IEEEPACT
2002
IEEE
14 years 2 months ago
2002
IEEE
A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence inform...
ISWC
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper investigates the use of programming language constructs to realize adaptive behavior in support of collaboration among users of wearable and handheld computers. A proto...
PDP
2002
IEEE
14 years 2 months ago
2002
IEEE
The concept of unreliable failure detector was introduced by Chandra and Toueg as a mechanism that provides information about process failures. This mechanism has been used to sol...