1073 search results - page 59 / 215 » Reasoning about Continuous Processes |
130
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...
115
click to vote
UAI
1998
15 years 3 months ago
1998
The monitoring and control of any dynamic system depends crucially on the ability to reason about its current status and its future trajectory. In the case of a stochastic system,...
122
click to vote
FASE
2005
Springer
15 years 8 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
148
Voted
JLP
2008
15 years 28 days ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
128
click to vote
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—We study the problem of in-network processing and queries of trajectories of moving targets in a sensor network. The main idea is to exploit the spatial coherence of target traj...