1894 search results - page 206 / 379 » Towards Mobile Reasoning |
178
click to vote
MOBISYS
2009
ACM
16 years 6 months ago
2009
ACM
Point&Connect (P&C) offers an intuitive and resilient device pairing solution on standard mobile phones. Its operation follows the simple sequence of point-and-connect: wh...
165
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present various challenges that arise in the delivery and exchange of multimedia information to mobile devices. Specifically, we focus on techniques for maintain...
167
click to vote
ICRA
2007
IEEE
16 years 17 days ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
178
click to vote
LPAR
2007
Springer
16 years 12 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
119
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
By improving accuracy in the quantification of the ocean’s CO2 budget, a more precise estimation can be made of the terrestrial fraction of global CO2 budget and its subsequent e...