Sciweavers

84 search results - page 14 / 17
» Pruning State Spaces with Extended Beam Search
Sort
View
ICCV
2001
IEEE
14 years 9 months ago
Capturing Natural Hand Articulation
Vision-based m,otion captu.ring of hand articulation i s - a ch,allengin,g task, since th,e hand presents a m,otion of high, degrees of freedom.. Model-based approach,es could he ...
Ying Wu, John Y. Lin, Thomas S. Huang
OOPSLA
2010
Springer
13 years 5 months ago
Efficient modular glass box software model checking
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
Michael Roberson, Chandrasekhar Boyapati
ICDE
2009
IEEE
169views Database» more  ICDE 2009»
14 years 9 months ago
Visible Reverse k-Nearest Neighbor Queries
Reverse nearest neighbor (RNN) queries have a broad application base such as decision support, profile-based marketing, resource allocation, data mining, etc. Previous work on RNN ...
Yunjun Gao, Baihua Zheng, Gencai Chen, Wang-Chien ...
DAC
2004
ACM
13 years 11 months ago
Implicit pseudo boolean enumeration algorithms for input vector control
In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identif...
Kaviraj Chopra, Sarma B. K. Vrudhula
VLDB
1990
ACM
128views Database» more  VLDB 1990»
13 years 11 months ago
Advanced Query Processing in Object Bases Using Access Support Relations
Even though the large body of knowledge of relational query optimization techniques can be utilized as a starting point for object-oriented query optimization the full exploitatio...
Alfons Kemper, Guido Moerkotte