4166 search results - page 704 / 834 » Automating the constraining process |
124
Voted
SAT
2004
Springer
15 years 8 months ago
2004
Springer
Linear Pseudo-Boolean constraints offer a much more compact formalism to express significant boolean problems in several areas, ranging from Artificial Intelligence to Electroni...
126
Voted
UML
2004
Springer
15 years 8 months ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
154
Voted
UML
2004
Springer
15 years 8 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
148
click to vote
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Image segmentation techniques typically require proper weighting of competing data fidelity and regularization terms. Conventionally, the associated parameters are set t...
129
Voted
3DIM
2003
IEEE
15 years 8 months ago
2003
IEEE
Over the past few years, remarkable increase has occurred in the demand for 3D models for cultural heritage applications. The techniques employed have evolved from surveying and C...