4117 search results - page 194 / 824 » On the Satisfiability of Complex Constraints |
173
click to vote
IWPC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a framework for software architecture recovery and restructuring. The user specifies a high level abstraction view of the system using a structured pattern la...
122
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
Image-based servozng systems are often used to track moving targets and their underlying control architecture is a regulation of the image. This regulation is a function of rigid ...
173
click to vote
DAC
1989
ACM
15 years 10 months ago
1989
ACM
- New algorithms for high-level synthesis are presented. The first performs scheduling under hardware resource constraints and improves on commonly used list scheduling techniques ...
169
click to vote
UAI
2008
15 years 8 months ago
2008
Approximate linear programming (ALP) is an efficient approach to solving large factored Markov decision processes (MDPs). The main idea of the method is to approximate the optimal...
213
click to vote
VIP
2003
15 years 8 months ago
2003
This paper presents a novel approach for creating curvilinear, texture mapped, 3D scene models from a single painting or photograph with no prior internal knowledge about the shap...