5622 search results - page 438 / 1125 » Solving architectural modelling problems using knowledge |
174
click to vote
CATS
2008
15 years 8 months ago
2008
Lazy clause generation is a hybrid SAT and finite domain propagation solver that tries to combine the advantages of both: succinct modelling using finite domains and powerful nogo...
165
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— While the Partially Observable Markov Decision Process (POMDP) provides a formal framework for the problem of robot control under uncertainty, it typically assumes a known and ...
155
click to vote
CVPR
2008
IEEE
15 years 8 months ago
2008
IEEE
Layer decomposition from a single image is an underconstrained problem, because there are more unknowns than equations. This paper studies a slightly easier but very useful altern...
166
click to vote
IEAAIE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Configuration is the process of composing a system from a set of components such that the system fulfills a set of desired demands. The configuration process relies on a ...
158
click to vote
JISBD
2003
15 years 8 months ago
2003
: A pattern identifies a problem and provides the specification of a generic solution to that problem. Conceptual modelling patterns are aimed at representing a specific structure ...