2969 search results - page 560 / 594 » A space efficient algorithm for group structure computation |
131
click to vote
SIGGRAPH
1996
ACM
15 years 7 months ago
1996
ACM
Multiresolution analysis has been proposed as a basic tool supporting compression, progressive transmission, and level-of-detail control of complex meshes in a unified and theoret...
149
click to vote
GI
1998
Springer
15 years 7 months ago
1998
Springer
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...
167
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
We present a fast, simple location recognition and image localization method that leverages feature correspondence and geometry estimated from large Internet photo collections. Suc...
136
click to vote
ICTAC
2010
Springer
15 years 28 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
107
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
Electric chronic stimulation of the human motor cortex (ECSM) has been reported to alleviate chronic severe pain. However the mechanism of action of ECSM is still hypothetical. Th...