2725 search results - page 322 / 545 » Constraint Solving for Interpolation |
166
Voted
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
Multi-agent systems designed to work collaboratively with groups of people typically require private information that people will entrust to them only if they have assurance that ...
121
click to vote
CP
2007
Springer
16 years 9 days ago
2007
Springer
In this paper we present new techniques for improving backtracking based Quantified Constraint Satisfaction Problem (QCSP) solvers. QCSP is a generalization of CSP in which variab...
154
click to vote
FSEN
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
182
Voted
GECCO
2007
Springer
16 years 9 days ago
2007
Springer
Modern vehicles possess an increasing number of software and hardware components that are integrated in electronic control units (ECUs). Finding an optimal allocation for all comp...
152
click to vote
GECON
2007
Springer
16 years 9 days ago
2007
Springer
This paper addresses necessary modification and extensions of existing Grid Computing approaches in order to meet nowadays business demand. So far, Grid Computing has been used to...