1306 search results - page 30 / 262 » A Diagrammatic Approach to Model Completion |
101
Voted
IJCAI
1993
15 years 1 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
90
Voted
AIEDU
2005
15 years 11 days ago
2005
In this paper, we explore the problem of selecting appropriate interventions for students based on an analysis of their interactions with a tutoring system. In the context of the W...
95
Voted
FMOODS
2006
15 years 1 months ago
2006
Long-Running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These trans...
100
Voted
EMISA
2002
Springer
15 years 8 days ago
2002
Springer
Abstract: This paper presents a new net-reduction methodology to facilitate the analysis of large workflow models. We propose an enhanced algorithm based on reducible subnet identi...
110
Voted
PIMRC
2008
IEEE
15 years 6 months ago
2008
IEEE
—Future generations of mobile operator networks, based on an all-IP-based flat architecture and a multitude of different access technologies, require a proper IP-based mobility ...