4084 search results - page 614 / 817 » Constraints in spatial structures |
131
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into ...
149
click to vote
WOLLIC
2010
Springer
15 years 9 months ago
2010
Springer
In type logical categorial grammar the analysis of an expression is a resource-conscious proof. Anaphora represents a particular challenge to this approach in that the antecedent ...
131
click to vote
3DPVT
2002
IEEE
15 years 9 months ago
2002
IEEE
We propose a fast 3D model acquisition system that aligns intensity and depth images, and reconstructs a textured 3D mesh. 3D views are registered with shape alignment based on in...
147
click to vote
METRICS
2002
IEEE
15 years 9 months ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
122
click to vote
VL
2002
IEEE
15 years 9 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...