12670 search results - page 321 / 2534 » Requirements Modeling |
203
Voted
CVPR
2003
IEEE
2003
IEEE
3D Object Modeling and Recognition Using Affine-Invariant Patches and Multi-View Spatial Constraints
16 years 8 months ago
: This paper presents a novel representation for three-dimensional objects in terms of affine-invariant image patches and their spatial relationships. Multi-view constraints associ...
184
click to vote
OTM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Modeling and managing business processes that span multiple organizations involves new challenges, mainly regarding the ability to cope with change, decentralization, and...
198
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
217
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
169
click to vote
BILDMED
2009
15 years 7 months ago
2009
Correct registration between pre-operative high-resolution images and intra-operative data of lower detail is a fundamental requirement in image-guided liver surgery. We propose a ...