1705 search results - page 158 / 341 » Representing Constraints with Automata |
146
click to vote
FLAIRS
2007
15 years 7 months ago
2007
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...
128
click to vote
CP
2008
Springer
15 years 6 months ago
2008
Springer
Backbone variables have the same assignment in all solutions to a given constraint satisfaction problem; more generally, bias represents the proportion of solutions that assign a v...
156
click to vote
NIPS
2008
15 years 6 months ago
2008
Confidence-weighted (CW) learning [6], an online learning method for linear classifiers, maintains a Gaussian distributions over weight vectors, with a covariance matrix that repr...
127
click to vote
WCET
2008
15 years 6 months ago
2008
Conditional branches connect the values of program variables with the execution paths and thus with the execution times, including the worstcase execution time (WCET). Flow analys...
128
click to vote
BMVC
2000
15 years 6 months ago
2000
This paper describes a system which automatically derives 3D models of architectural scenes from multiple images. This system differs from previous structure from motion algorithm...