6320 search results - page 973 / 1264 » Towards Situated Computing |
204
click to vote
MOBICOM
1999
ACM
15 years 11 months ago
1999
ACM
Mobile ad hoc networks have attracted attention lately as a means of providing continuous network connectivity to mobile computing devices regardless of physical location. Recent r...
188
click to vote
ICECCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
191
click to vote
MICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
Compressing the instructions of an embedded program is important for cost-sensitive low-power control-oriented embedded computing. A number of compression schemes have been propos...
141
click to vote
WADS
1997
Springer
15 years 10 months ago
1997
Springer
A fundamental task for an autonomous robot is to plan its own motions. Exact approaches to the solution of this motion planning problem suffer from high worst-case running times. ...
183
click to vote
MAAMAW
1993
Springer
15 years 10 months ago
1993
Springer
Autonomous agents working in multi-agent environments may need to cooperate in order to ful ll tasks. Given a set of agents and a set of tasks which they have to satisfy, we consi...