1127 search results - page 76 / 226 » Theory Extension in ACL2(r) |
131
click to vote
ICFP
2012
ACM
13 years 3 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
221
Voted
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
107
Voted
CVPR
2006
IEEE
16 years 2 months ago
2006
IEEE
This paper describes a novel approach to optimal kernel placement in kernel-based tracking. If kernels are placed at arbitrary places, kernel-based methods are likely to be trappe...
133
click to vote
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
Curvature flows have been extensively considered from a deterministic point of view. They have been shown to be useful for a number of applications including crystal growth, flame...
126
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constrai...