219 search results - page 2 / 44 » Context-aware counter abstraction |
MKM
2007
Springer
13 years 11 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
IWUC
2004
13 years 6 months ago
2004
There is an inherent chasm between the real-world and the world that can be perceived by computer systems, yielding uncertainty and ambiguity in system perceived context, with cons...
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. In this paper we explore the potential of adaptive recommendation techniques in an environment where users can access a variety of services from different locations, and ...
AMI
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
GI
2007
Springer
13 years 9 months ago
2007
Springer
Abstract: Aktuelle Innovationen der Informations- und Kommunikationstechnologie (IuK), wie sie etwa unter den Schlagworten ortsbasierte Dienste bzw. intelligente Handlungsumgebunge...