5165 search results - page 454 / 1033 » Consistency of the Neighbor-Net Algorithm |
172
Voted
SAC
2003
ACM
16 years 3 days ago
2003
ACM
In this paper, we propose an adaptive 3D-DCT compression technique, which dynamically determines an optimal size of the video cube based on the motion analysis. The technique cons...
198
click to vote
EMMCVPR
2003
Springer
16 years 2 days ago
2003
Springer
This paper presents a novel method for surface recovery from discrete 3D point data sets. In order to produce improved reconstruction results, the algorithm presented in this paper...
175
click to vote
ICDT
2003
ACM
16 years 2 days ago
2003
ACM
We investigate the incremental validation of XML documents with respect to DTDs and XML Schemas, under updates consisting of element tag renamings, insertions and deletions. DTDs ...
163
Voted
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
—Creating latency insensitive or asynchronous designs from clocked designs has potential benefits of increased modularity and robustness to variations. Several transformations h...
171
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...