699 search results - page 92 / 140 » A Computational Model for Functional Logic Deductive Databas... |
119
click to vote
SIGMOD
2001
ACM
16 years 2 months ago
2001
ACM
We study the problem of generating e cient, equivalent rewritings using views to compute the answer to a query. We take the closed-world assumption, in which views are materialize...
227
Voted
ICDT
2011
ACM
14 years 6 months ago
2011
ACM
Distributed data management systems consist of peers that store, exchange and process data in order to collaboratively achieve a common goal, such as evaluate some query. We study...
157
click to vote
SI3D
2003
ACM
15 years 8 months ago
2003
ACM
In this paper, we present an automatic, runtime modeler for modeling realistic, animatable human bodies. A user can generate a new model or modify an existing one simply by inputt...
116
click to vote
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
We describe a novel approach for 3D ear biometrics using video. A series of frames are extracted from a video clip and the region-of-interest (ROI) in each frame is independently ...
114
Voted
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...