3954 search results - page 108 / 791 » Image-based Model Completion |
248
click to vote
ICDE
2006
IEEE
16 years 6 months ago
2006
IEEE
This paper explores an inherent tension in modeling and querying uncertain data: simple, intuitive representations of uncertain data capture many application requirements, but the...
159
click to vote
BPM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
139
click to vote
3DGIS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract Three-dimensional (3D) building model is one of the most important components in a cyber city implementation and application. This study developed an effective and highly ...
147
Voted
AMAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
110
click to vote
DASFAA
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper investigates the problem of writing data to passive RFID tag memory and proposes a reprocessing model for assuring the atomicity and durability of writing transactions i...