Sciweavers

706 search results - page 79 / 142
» Super Solutions in Constraint Programming
Sort
View
IJCAI
1989
15 years 2 months ago
Constrained Heuristic Search
Cognitive architectures aspire for generality both in terms of problem solving and learning across a range of problems, yet to date few examples of domain independent learning has...
Mark S. Fox, Norman M. Sadeh, Can A. Baykan
ICCV
2011
IEEE
14 years 1 months ago
3D Reconstruction of a Smooth Articulated Trajectory from a Monocular Image Sequence
An articulated trajectory is defined as a trajectory that remains at a fixed distance with respect to a parent trajectory. In this paper, we present a method to reconstruct an a...
Hyun Soo Park, Yaser Sheikh
FOIKS
2004
Springer
15 years 7 months ago
Database Repair by Signed Formulae
We introduce a simple and practically efficient method for repairing inconsistent databases. The idea is to properly represent the underlying problem, and then use off-the-shelf a...
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Mau...
CD
2004
Springer
15 years 7 months ago
Asynchronous, Hierarchical, and Scalable Deployment of Component-Based Applications
The deployment of distributed component-based applications is a complex task. Proposed solutions are often centralized, which excludes their use for the deployment of large-scale a...
Vivien Quéma, Roland Balter, Luc Bellissard...
104
Voted
DATE
2009
IEEE
122views Hardware» more  DATE 2009»
15 years 8 months ago
A MILP-based approach to path sensitization of embedded software
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
José C. Costa, José C. Monteiro