Sciweavers

2845 search results - page 95 / 569
» Constraints over Ontologies
Sort
View
FASE
2010
Springer
15 years 11 months ago
Incremental Consistency Checking of Dynamic Constraints
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...
Iris Groher, Alexander Reder, Alexander Egyed
CP
2008
Springer
15 years 8 months ago
Classes of Submodular Constraints Expressible by Graph Cuts
Submodular constraints play an important role both in theory and practice of valued constraint satisfaction problems (VCSPs). It has previously been shown, using results from the ...
Stanislav Zivný, Peter Jeavons
JSAT
2006
108views more  JSAT 2006»
15 years 6 months ago
Translating Pseudo-Boolean Constraints into SAT
In this paper, we describe and evaluate three different techniques for translating pseudoboolean constraints (linear constraints over boolean variables) into clauses that can be h...
Niklas Eén, Niklas Sörensson
ICCV
1999
IEEE
16 years 8 months ago
Trajectory Triangulation over Conic Sections
We consider the problem of reconstructing the 3D coordinates of a moving point seen from a monocular moving camera, i.e., to reconstruct moving objects from line-of-sight measurem...
Amnon Shashua, Shai Avidan, Michael Werman
GLOBECOM
2009
IEEE
16 years 1 months ago
Distortion Prediction for Video Quality Optimization over Packet Switched Networks
—Scheduling techniques are often deployed at the network edge to maximize the quality of the video communication while satisfying a given constraint on the maximum high priority ...
Andrea Vesco, Enrico Masala, Carlo Novara