8141 search results - page 266 / 1629 » Higher Order Generalization |
155
click to vote
TPHOL
2007
IEEE
16 years 15 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...
161
click to vote
IFL
2007
Springer
16 years 12 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...
156
click to vote
WEBI
2007
Springer
16 years 10 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 ...
137
click to vote
FCCM
2006
IEEE
16 years 9 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...
149
click to vote
BTW
2005
Springer
15 years 11 months 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 ...