1127 search results - page 200 / 226 » Theory Extension in ACL2(r) |
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
We introduce the Ranked Feature Fusion framework for information retrieval system design. Typical information retrieval formalisms such as the vector space model, the bestmatch mo...
127
click to vote
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
The extension of Regular Expressions (REs) with an interleaving (shuffle) operator has been proposed in many occasions, since it would be crucial to deal with unordered data. Howe...
100
Voted
COMPGEOM
2005
ACM
15 years 2 months ago
2005
ACM
We consider the problem of discovering a smooth unknown surface S bounding an object O in R3 . The discovery process consists of moving a point probing device in the free space ar...
138
click to vote
CF
2007
ACM
15 years 2 months ago
2007
ACM
In recent years, highly accurate branch predictors have been proposed primarily for high performance processors. Unfortunately such predictors are extremely energy consuming and i...
139
click to vote
COMPGEOM
2008
ACM
15 years 2 months ago
2008
ACM
We introduce a hierarchical partitioning scheme of the Euclidean plane, called circular partitions. Such a partition consists of a hierarchy of convex polygons, each having small ...