3333 search results - page 537 / 667 » Abstract Proof Search |
131
click to vote
INFORMATICALT
2006
15 years 4 months ago
2006
Abstract. The asynchronous techniques that exist within the programming with distributed constraints are characterized by the occurrence of the nogood values during the search for ...
167
click to vote
COMPUTER
2002
15 years 4 months ago
2002
ectly support interaction with abstraction. Using technologies that go beyond searching individual repositories to analyzing and correlating knowledge across multiple sources and s...
139
click to vote
PAMI
2000
15 years 4 months ago
2000
Abstract-- This paper introduces Evolutionary Pursuit (EP) as a novel and adaptive representation method for image encoding and classification. In analogy to projection pursuit met...
187
click to vote
PAIRING
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper describes a new method in pairing-based signature schemes for identifying the invalid digital signatures in a batch after batch verification has failed. The me...
191
click to vote
EC
2011
14 years 11 months ago
2011
Abstract—In the field of evolutionary multi-criterion optimization, the hypervolume indicator is the only single set quality measure that is known to be strictly monotonic with ...