999 search results - page 72 / 200 » Constraints in Non-Boolean Contexts |
158
click to vote
CPAIOR
2009
Springer
16 years 26 days ago
2009
Springer
Many real-world problems require the enumeration of all solutions of combinatorial search problems, even though this is often infeasible in practice. However, not always all parts ...
173
click to vote
ISORC
1998
IEEE
15 years 10 months ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
154
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
116
click to vote
BMVC
2000
15 years 7 months ago
2000
We consider the problem of representing sets of 3D points in the context of 3D reconstruction from point matches. We present a new representation for sets of 3D points, which is g...
178
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We present an empirical study aimed at analysing the use of viewpoints in an industrial Concurrent Engineering context. Our focus is on the viewpoints expressed in the argumentativ...