Sciweavers

14056 search results - page 157 / 2812
» Consistency in Model Integration
Sort
View
CVPR
2006
IEEE
16 years 8 months ago
Measurement integration under inconsistency for robust tracking
The solutions to many vision problems involve integrating measurements from multiple sources. Most existing methods rely on a hidden assumption, i.e., these measurements are consi...
Gang Hua, Ying Wu
ADVSE
2010
103views more  ADVSE 2010»
15 years 1 months ago
Extending Conceptual Schemas with Business Process Information
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logi...
Marco Brambilla, Jordi Cabot, Sara Comai
ADBIS
2004
Springer
92views Database» more  ADBIS 2004»
15 years 9 months ago
Optimal Database Locks for Efficient Integrity Checking
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
Davide Martinenghi
OSDI
2006
ACM
16 years 6 months ago
EnsemBlue: Integrating Distributed Storage and Consumer Electronics
EnsemBlue is a distributed file system for personal multimedia that incorporates both general-purpose computers and consumer electronic devices (CEDs). EnsemBlue leverages the cap...
Daniel Peek, Jason Flinn
FM
1999
Springer
114views Formal Methods» more  FM 1999»
15 years 10 months ago
Integrating Formal Description Techniques
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
Bernhard Schätz, Franz Huber