Sciweavers

3885 search results - page 82 / 777
» Clarifying Goal Models
Sort
View
ESWS
2007
Springer
15 years 10 months ago
Two-Phase Web Service Discovery Based on Rich Functional Descriptions
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two ...
Michael Stollberg, Uwe Keller, Holger Lausen, Stij...
AIED
2005
Springer
15 years 9 months ago
Inferring learning and attitudes from a Bayesian Network of log file data
A student's goals and attitudes while interacting with a tutor are typically unseen and unknowable. However their outward behavior (e.g. problem-solving time, mistakes and hel...
Ivon Arroyo, Beverly Park Woolf
WSCG
2001
70views more  WSCG 2001»
15 years 5 months ago
Examining the Generality of a Behavioural Animation Framework
This paper tests the hypothesis that it is possible to build a generic Behavioural Animation system. The paper outlines the four models that form the key elements of a Behavioural...
J. R. Paul Hanna, Richard J. Millar, Wesley M. Joh...
WOA
2007
15 years 5 months ago
Expectations driven approach for Situated, Goal-directed Agents
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...
Michele Piunti, Cristiano Castelfranchi, Rino Falc...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 8 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...