2932 search results - page 215 / 587 » Higher order mining |
187
click to vote
TPHOL
2008
IEEE
16 years 28 days ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
161
click to vote
TPHOL
2007
IEEE
16 years 25 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...
168
click to vote
IFL
2007
Springer
16 years 21 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 20 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 ...
146
click to vote
FCCM
2006
IEEE
16 years 18 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...