Sciweavers

1071 search results - page 63 / 215
» Solving Geometric Constraint Systems
Sort
View
EDOC
2002
IEEE
15 years 2 months ago
Constraint Based Network Adaptation for Ubiquitous Applications
In this paper, we present a constraint-based approach for selecting and deploying active network components, called proxylets, which execute on servers within the network to perfo...
Krish T. Krishnakumar, Morris Sloman
AAAI
2007
15 years 3 days ago
Optimal Multi-Agent Scheduling with Constraint Programming
We consider the problem of computing optimal schedules in multi-agent systems. In these problems, actions of one agent can influence the actions of other agents, while the object...
Willem Jan van Hoeve, Carla P. Gomes, Bart Selman,...
ICWL
2007
Springer
15 years 4 months ago
Using Constraint-Based Modelling to Describe the Solution Space of Ill-defined Problems in Logic Programming
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for welldefined problems. However, solving ill-defined problems is imp...
Nguyen-Thinh Le, Wolfgang Menzel
FORMATS
2006
Springer
15 years 1 months ago
Matching Scenarios with Timing Constraints
Networks of communicating finite-state machines equipped with local clocks generate timed MSCs. We consider the problem of checking whether these timed MSCs are "consistent&qu...
Prakash Chandrasekaran, Madhavan Mukund
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
15 years 2 months ago
Dirichlet problems for some Hamilton-Jacobi equations with inequality constraints
We use viability techniques for solving Dirichlet problems with inequality constraints (obstacles) for a class of Hamilton-Jacobi equations. The hypograph of the “solution” is ...
Jean-Pierre Aubin, Alexandre M. Bayen, Patrick Sai...