5863 search results - page 1033 / 1173 » On Model-Checking of P Systems |
130
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
A semi-autonomous robot for autonomous installation and removal of aircraft warning spheres on overhead wires of electric power transmission lines is described here. Hybrid system...
119
click to vote
ICRA
2002
IEEE
15 years 9 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...
122
click to vote
ICRA
2002
IEEE
15 years 9 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...
111
click to vote
IEEEPACT
2002
IEEE
15 years 9 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...
150
click to vote
ISWC
2002
IEEE
15 years 9 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...