3885 search results - page 104 / 777 » Clarifying Goal Models |
114
click to vote
ACOM
2004
Springer
15 years 7 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
119
click to vote
IJCAI
2007
15 years 5 months ago
2007
There is a growing interest in intelligent assistants for a variety of applications from organizing tasks for knowledge workers to helping people with dementia. In this paper, we ...
171
click to vote
TAMOCO
2008
15 years 5 months ago
2008
Since years the market of mobile navigation systems is growing enormously. Within this paper the goals and first results of the joint project "Mobile Navigation with 3D City ...
137
click to vote
BIOINFORMATICS
2010
15 years 4 months ago
2010
Motivation: Existing methods for protein sequence analysis are generally firstorder and inherently assume that each position is independent. We develop a general framework for int...
154
click to vote
AIEDU
2005
15 years 4 months ago
2005
Two approaches to building intelligent tutoring systems are the well-established model-tracing paradigm and the relatively newer constraint-based paradigm. Proponents of the constr...