6740 search results - page 751 / 1348 » Using Classification as a Programming Language |
197
click to vote
BICOB
2010
Springer
15 years 5 months ago
2010
Springer
Fold recognition is a key problem in computational biology that involves classifying protein sharing structural similarities into classes commonly known as "folds". Rece...
293
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
The proofs of major results of Computability Theory like Rice, Rice-Shapiro or Kleene's fixed point theorem hide more information of what is usually expressed in their respec...
193
click to vote
DOCENG
2004
ACM
16 years 20 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
191
click to vote
PLDI
2004
ACM
16 years 20 days ago
2004
ACM
Instruction scheduling is a compiler optimization that can improve program speed, sometimes by 10% or more—but it can also be expensive. Furthermore, time spent optimizing is mo...
205
click to vote
PEPM
2004
ACM
16 years 18 days ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...