8141 search results - page 266 / 1629 » Higher Order Generalization |
161
click to vote
TPHOL
2007
IEEE
16 years 26 days ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...
169
click to vote
IFL
2007
Springer
16 years 23 days ago
2007
Springer
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
162
click to vote
WEBI
2007
Springer
16 years 21 days ago
2007
Springer
We present a framework for media interpretation that leverages low-level information on to a higher level of abstraction in order to support semantics-based information retrieval ...
147
click to vote
FCCM
2006
IEEE
16 years 20 days ago
2006
IEEE
: We describe a new pipeline for computing non-bonded forces and its integration into the ProtoMol molecular dynamics (MD) code. There are several innovations: a novel interpolatio...
150
click to vote
BTW
2005
Springer
16 years 4 days ago
2005
Springer
: This paper presents a comfortable and customizable persistence framework that supports the access of relational databases from Java applications. In order to keep the effort for ...