1684 search results - page 126 / 337 » The lexicographic decision function |
105
click to vote
STOC
1992
ACM
15 years 8 months ago
1992
ACM
Paul Beame Joan Lawry Department of Computer Science and Engineering, FR-35 University of Washington Seattle, Washington 98195 Our main result is the demonstration of a Boolean fu...
151
Voted
ANTS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. For K3 surfaces, we derive some conditions the characteristic polynomial of the Frobenius on the ´etale cohomology must satisfy. These conditions may be used to speed up...
128
click to vote
IJON
2006
15 years 3 months ago
2006
In this work we study the basic competitive and cooperative mechanisms of neural activity in the context of a two-alternative freechoice eye-movement task, as a function of the ex...
114
click to vote
MJ
2006
15 years 3 months ago
2006
In this paper, we describe a hybrid tool for hardware formal verification that links the HOL (higher-order logic) theorem prover and (multiway decision graphs) model checker. Our ...
110
click to vote
CSDA
2004
15 years 3 months ago
2004
While database marketers collect vast amounts of customer transaction data, its utilization to improve marketing decisions presents problems. Marketers seek to extract relevant in...