675 search results - page 116 / 135 » Using Fairness to Make Abstractions Work |
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— Assistive mobile robots that can navigate autonomously can greatly benefit people with mobility impairments. Since an assistive mobile robot transports a human user fr...
109
click to vote
PPDP
2007
Springer
15 years 5 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
INFOVIS
2005
IEEE
15 years 5 months ago
2005
IEEE
The discrete nature of categorical data makes it a particular challenge for visualization. Methods that work very well for continuous data are often hardly usable with categorical...
LOPSTR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The ad...
101
click to vote
MOBICOM
2004
ACM
15 years 5 months ago
2004
ACM
We present MobiDesk, a mobile virtual desktop computing hosting infrastructure that leverages continued improvements in network speed, cost, and ubiquity to address the complexity...