3885 search results - page 85 / 777 » Clarifying Goal Models |
124
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
The main goal of the work presented here is to allow for the broader dissemination of intelligent tutoring technology. To accomplish this goal, we have two clear objectives. First,...
113
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
— The rapid control of sonar-guided vehicles through obstacle fields has been a goal of robotics for decades. How sensory data is represented strongly affects how obstacles and g...
100
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
A novel control mechanism was recently introduced based on Extended Markov Tracking (EMT) [9, 10]. In this paper, we present a study of its response to multiple interacting contro...
148
click to vote
CSMR
2004
IEEE
15 years 7 months ago
2004
IEEE
Outsourcing has become common practice in the software industry. Organizations routinely subcontract the maintenance of their software assets to specialized companies. A great cha...
156
click to vote
DALT
2008
Springer
15 years 5 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...