1285 search results - page 81 / 257 » Structural Operators for Modeling 3-Manifolds |
121
click to vote
IEEESCC
2005
IEEE
15 years 6 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
VL
2002
IEEE
15 years 5 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...
CVPR
2005
IEEE
16 years 2 months ago
2005
IEEE
A novel method for the simultaneous modeling and tracking (SMAT) of a feature set during motion sequence is proposed. The method requires no prior information. Instead the a poste...
84
Voted
GECCO
2003
Springer
15 years 5 months ago
2003
Springer
The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled...
134
click to vote
ECOOP
1992
Springer
15 years 4 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...