10910 search results - page 1773 / 2182 » Input modeling using a computer algebra system |
209
click to vote
COSIT
2003
Springer
16 years 25 days ago
2003
Springer
Numerous cognitive studies have indicated that the form and complexity of route instructions may be as important to human navigators as the overall length of route. Most automated ...
229
click to vote
DSN
2000
IEEE
16 years 18 hour ago
2000
IEEE
In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixedcriticality real-time...
237
click to vote
MOBISYS
2008
ACM
16 years 7 months ago
2008
ACM
Personal mobile devices are increasingly equipped with the capability to sense the physical world (through cameras, microphones, and accelerometers, for example) and the network w...
204
click to vote
ASM
2004
ASM
16 years 1 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
192
click to vote
PERVASIVE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Emerging pervasive computing technologies present many opportunities to aid ad-hoc collocated group collaboration. To better understand ad-hoc collaboration using pervasi...