437 search results - page 35 / 88 » Automatic Generation of Implied Constraints |
110
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
We present a novel approach to representing and recognizing composite video events. A composite event is specified by a scenario, which is based on primitive events and their tem...
172
click to vote
CP
2009
Springer
16 years 13 days ago
2009
Springer
Measuring graph similarity is a key issue in many applications. We propose a new constraint-based modeling language for defining graph similarity measures by means of constraints. ...
107
click to vote
CONSTRAINTS
2008
14 years 12 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
109
click to vote
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a methodology for generating optimized architectures for data bandwidth constrained extensible processors. We describe a scalable Integer Linear Programming (ILP) formu...
RE
2001
Springer
15 years 4 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...