657 search results - page 60 / 132 » Modeling Dynamic Domains with ConGolog |
ESAW
2004
Springer
14 years 2 months ago
2004
Springer
The general aim of our work is to provide tools, methods and models to adaptive multi-agent systems designers. These systems consist in several interacting agents and have to optim...
WEBENG
2001
Springer
14 years 1 months ago
2001
Springer
From a software engineering perspective the World Wide Web is a new application platform. The implementation model that the Web is based on makes it difficult to apply classic proc...
IS
2008
13 years 9 months ago
2008
Data warehouse modeling is a complex task, which involves knowledge of business processes of the domain of discourse, understanding the structural and behavioral system's con...
CVRMED
1995
Springer
14 years 18 days ago
1995
Springer
This paper presents a technique for the segmentation of anatomic structures in medical images using a topologically adaptable snakes model. The model is set in the framework of dom...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...