10271 search results - page 420 / 2055 » Computer Science |
262
click to vote
Book
"This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective. It is intended for resear...
125
click to vote
STACS
1997
Springer
15 years 9 months ago
1997
Springer
Various types of probabilistic proof systems have played a central role in the development of computer science in the last decade. In this exposition, we concentrate on three such...
158
click to vote
CCCG
2006
15 years 6 months ago
2006
We present a generalization of Welzl's smallest enclosing disk algorithm [E. Welzl, Smallest enclosing disks (balls and ellipsoids), in: New Results and New Trends in Compute...
123
click to vote
JVM
2001
15 years 6 months ago
2001
ompiler for Many Memory Models { extended abstract Samuel P. Midki IBM TJ Watson Research Jaejin Lee Dept. of Computer Science and Engineering, Michigan State University David A. P...
136
Voted
ICALP
2003
Springer
15 years 10 months ago
2003
Springer
We describe several computational problems on prediction and design of RNA molecules.