3731 search results - page 255 / 747 » cases 2006 |
171
click to vote
IJON
2007
15 years 7 months ago
2007
We present a new way to model the response of an electrode to an injected current. The electrode is represented by an unknown complex linear circuit, characterized by a kernel whi...
190
click to vote
PR
2007
15 years 6 months ago
2007
Tuning SVM hyperparameters is an important step in achieving a high-performance learning machine. It is usually done by minimizing an estimate of generalization error based on the...
216
click to vote
JDA
2010
15 years 5 months ago
2010
: Hierarchical graphs are graphs with layering structures; clustered graphs are graphs with recursive clustering structures. Both have applications in VLSI design, CASE tools, soft...
232
click to vote
PKC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Pairings on elliptic curves over finite fields are crucial for constructing various cryptographic schemes. The T pairing on supersingular curves over GF(3n ) is particula...
233
click to vote
JACM
2002
15 years 7 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...