5086 search results - page 403 / 1018 » The Power of Comparative Reasoning |
171
click to vote
MFCS
2005
Springer
16 years 8 days ago
2005
Springer
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
162
click to vote
EVOW
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, we combine a powerful representation for graph colouring problems with different heuristic strategies for colour assignment. Our novel strategies employ heuristics ...
163
click to vote
ANTS
2004
Springer
16 years 5 days ago
2004
Springer
Using powerful tools on genus 2 curves like the Kummer variety, we generalize the Montgomery method for scalar multiplication to the jacobian of these curves. Previously this metho...
149
click to vote
ICBA
2004
Springer
16 years 4 days ago
2004
Springer
: This work presents initial findings from an investigation into the use of otoacoustic emissions (OAEs) for identifying individuals. A data set of 2009 neonate transient otoacous...
186
click to vote
GLVLSI
2003
IEEE
16 years 2 days ago
2003
IEEE
A CMOS flash analog-to-digital converter (ADC) designed for high speed and low voltage is presented. Using the Threshold Inverter Quantization (TIQ) comparator technique, a flas...