4418 search results - page 101 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
159
Voted
ACISICIS
2005
IEEE
15 years 9 months ago
2005
IEEE
Ubiquitous computing is viewed as a computing paradigm where minimal user intervention is necessitated emphasizing detection of environmental conditions and user behaviors in orde...
150
click to vote
ITS
2010
Springer
15 years 6 months ago
2010
Springer
Authoring the domain knowledge of an intelligent tutoring system (ITS) is a well-known problem, and an often-mentioned approach is to use authors who are domain experts. Unfortunat...
123
Voted
JUCS
2010
15 years 2 months ago
2010
: For many complex and dynamic ubiquitous services, context-aware cooperation can be a solution. However, the way is not yet clear to make individual objects cooperate with each ot...
150
click to vote
KCAP
2003
ACM
15 years 9 months ago
2003
ACM
Our research aims at interactive document viewers that can select and highlight relevant text passages on demand. Another related objective is the generation of topic-specific su...
119
Voted
ENTCS
2007
15 years 4 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...