961 search results - page 72 / 193 » Automatic design synthesis with artificial intelligence tech... |
110
click to vote
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
120
click to vote
CP
2006
Springer
15 years 5 months ago
2006
Springer
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
109
click to vote
FLAIRS
2006
15 years 2 months ago
2006
When knowledge systems are deployed into a real-world application, then the maintenance and the refinement of the knowledge are essential tasks. Many existing automatic knowledge ...
101
click to vote
LCTRTS
2010
Springer
15 years 8 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
120
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we propose a new integration approach for simulation and behaviour in the learning context that is able to coherently manage the shared virtual environment for the ...