5722 search results - page 942 / 1145 » Dynamic inference control |
215
Voted
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
Web-database systems are nowadays an integral part of everybody's life, with applications ranging from monitoring/trading stock portfolios, to personalized blog aggregation a...
229
click to vote
ICDE
2002
IEEE
16 years 5 months ago
2002
IEEE
We present a diff algorithm for XML data. This work is motivated by the support for change control in the context of the Xyleme project that is investigating dynamic warehouses ca...
162
Voted
VIS
2008
IEEE
16 years 5 months ago
2008
IEEE
Abstract-- Methods that faithfully and robustly capture the geometry of complex material interfaces in labeled volume data are important for generating realistic and accurate visua...
115
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
137
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...