8099 search results - page 493 / 1620 » Higher-Order Task Models |
217
click to vote
FORMATS
2004
Springer
16 years 9 days ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
191
click to vote
VRST
2000
ACM
15 years 11 months ago
2000
ACM
For virtual reality systems, modeling of 3D objects and scenes is important and challenging. In this paper, we present an image-based interactive 3D modeling framework consisting ...
180
click to vote
ACMICEC
2007
ACM
15 years 11 months ago
2007
ACM
Electronic commerce is revolutionizing the way we think about data modeling, by making it possible to integrate the processes of (costly) data acquisition and model induction. The...
277
click to vote
TMI
1998
15 years 6 months ago
1998
—In this paper implicit representations of deformable models for medical image enhancement and segmentation are considered. The advantage of implicit models over classical explic...
195
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...