780 search results - page 86 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
SIGMOD
2011
ACM
12 years 11 months ago
2011
ACM
Correctness of data residing in a database is vital. While integrity constraint enforcement can often ensure data consistency, it is inadequate to protect against updates that inv...
TVCG
2012
11 years 11 months ago
2012
—In this paper, we describe a novel approach for applying texture mapping to volumetric data sets. In contrast to previous approaches, the presented technique enables a unified i...
DATE
2004
IEEE
14 years 17 days ago
2004
IEEE
In embedded system-on-a-chip (SoC) applications, the need for integrating heterogeneous processors in a single chip is increasing. An important issue in integrating heterogeneous ...
BMVC
2010
13 years 6 months ago
2010
This work proposes a biologically inspired approach to integrate latent topic model with saliency detection. Firstly, a saliency detection algorithm is presented to discriminate s...
ASM
2000
ASM
14 years 1 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...