1021 search results - page 112 / 205 » Concepts in Proof Planning |
ACISICIS
2008
IEEE
14 years 3 months ago
2008
IEEE
Design of accessible applications is often a challenge for software architects and developers. Development usually starts with structure and functionality of the planned applicati...
NOMS
2008
IEEE
14 years 3 months ago
2008
IEEE
—With the increased network size and diversity, and the proliferation in applications and services, the network service providers are faced with a flood of information from many...
HAID
2007
Springer
14 years 3 months ago
2007
Springer
This paper explores the possibilities of using audio and haptics for interpersonal communication via mobile devices. Drawing on the literature on current messaging practises, a new...
TABLETOP
2006
IEEE
14 years 2 months ago
2006
IEEE
Advancements in mixed-reality (MR) systems have concentrated on the technology required for implementation, providing proof-of-concepts by means of technology-tailored usage scena...
GIR
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we test the hypothesis Given a piece of text describing an object or concept our combined disambiguation method can disambiguate whether it is a place and ground it ...