5550 search results - page 947 / 1110 » Different Approaches to Proof Systems |
160
click to vote
SOFSEM
2007
Springer
16 years 22 days ago
2007
Springer
In the research area of automatic web information extraction, there is a need for permanent and annotated web page collections enabling objective performance evaluation of differen...
173
click to vote
VISUAL
2007
Springer
16 years 21 days ago
2007
Springer
The use of salient regions is an increasingly popular approach to image retrieval. For situations where object retrieval is required and where the foreground and background can be ...
204
click to vote
VLDB
2007
ACM
16 years 21 days ago
2007
ACM
Multi-core processors are proliferated across different domains in recent years. In this paper, we study the performance of frequent pattern mining on a modern multi-core machine....
202
click to vote
3DPVT
2006
IEEE
16 years 20 days ago
2006
IEEE
The spherical harmonic (SPHARM) description is a powerful surface modeling technique that can model arbitrarily shaped but simply connected three dimensional (3D) objects. Because...
167
click to vote
CCGRID
2006
IEEE
16 years 20 days ago
2006
IEEE
Grid computing is becoming the natural way to aggregate and share large sets of heterogeneous resources. With the infrastructure becoming ready for the challenge, current grid dev...