1190 search results - page 179 / 238 » The Continuing Quest for Abstraction |
PERVASIVE
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. In this paper we report on a field study comparing a commercial pedestrian navigation system to a tactile navigation system called Tactile Wayfinder. Similar to previous ...
ICA3PP
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Program behaviors reveal that programs have different sources requirement at different phases, even at continuous clocks. It is not a reasonable way to run different prog...
COLCOM
2008
IEEE
13 years 10 months ago
2008
IEEE
Abstract. Malicious Web content poses a serious threat to the Internet, organizations and users. Current approaches to detecting malicious Web content employ high-powered honey cli...
CONCUR
2008
Springer
13 years 10 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this paper we describe the IAMwildCAT agent, designed for the TAC Market Design game which is part of the International Trading Agent Competition. The objective of an ...