2725 search results - page 448 / 545 » Constraint Solving for Interpolation |
105
Voted
SSDBM
2003
IEEE
15 years 6 months ago
2003
IEEE
Space constrained optimization problems arise in a multitude of important applications such as data warehouses and pervasive computing. A typical instance of such problems is to s...
95
Voted
SAC
2003
ACM
15 years 6 months ago
2003
ACM
Many information systems are used in a problem solving context. Examples are travel planning systems, catalogs in electronic commerce, or agenda planning systems. They can be made...
125
click to vote
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
Interacting agents that interleave planning and execution must reach consensus on their commitments to each other. In domains where agents have varying degrees of interaction and ...
111
Voted
HIPC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In this paper, we propose a new approach, parallel iterative improvement (PII), to solving the stable matching problem. This approach treats the stable matching problem a...
DATE
2002
IEEE
15 years 5 months ago
2002
IEEE
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...