649 search results - page 48 / 130 » An Improved Construction of Progression-Free Sets |
102
Voted
LOGCOM
2006
15 years 13 days ago
2006
The Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems ...
101
Voted
IJBRA
2007
15 years 12 days ago
2007
A function of a protein is dependent on its structure; therefore, predicting a protein structure from an amino acid sequence is an active area of research. Optimally predicting a ...
156
click to vote
STOC
1998
ACM
15 years 4 months ago
1998
ACM
We address the problem of designing data structures that allow efficient search for approximate nearest neighbors. More specifically, given a database consisting of a set of vecto...
94
Voted
POPL
1997
ACM
15 years 4 months ago
1997
ACM
As parallel machines become part of the mainstream computing environment, compilers will need to apply synchronization optimizations to deliver e cient parallel software. This pap...
111
click to vote
ECCV
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper presents a novel method to solve multi-view face detection problem by Error Correcting Output Codes (ECOC). The motivation is that face patterns can be divided...