11784 search results - page 1960 / 2357 » Improving Software Process Improvement |
167
click to vote
SAT
2004
Springer
16 years 6 days 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...
175
click to vote
UML
2004
Springer
16 years 5 days 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...
174
click to vote
ECCV
2010
Springer
16 years 5 days ago
2010
Springer
Abstract. We address the problem of having insufficient labels in an interactive image segmentation framework, for which most current methods would fail without further user inter...
174
click to vote
XSYM
2004
Springer
16 years 5 days ago
2004
Springer
XML indices are essential for efficiently processing XML queries which typically have predicates on both structures and values. Since the number of all possible structural and val...
196
click to vote
3DIM
2003
IEEE
16 years 4 days ago
2003
IEEE
Autonomous range acquisition for 3D modeling requires reliable range registration, for both the precise localization of the sensor and combining the data from multiple scans for v...