1002 search results - page 99 / 201 » Reasoning about Object Structures Using Ownership |
183
click to vote
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
ImageNet is a large-scale database of object classes with millions of images. Unfortunately only a small fraction of them is manually annotated with bounding-boxes. This prevents ...
114
Voted
LREC
2008
15 years 3 months ago
2008
The objective of the Semiotic-based Ontology Evaluation Tool (S-OntoEval) is to evaluate and propose improvements to a given ontological model. The evaluation aims at assessing th...
DAC
2003
ACM
15 years 7 months ago
2003
ACM
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) so...
103
click to vote
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
117
click to vote
CADE
2005
Springer
16 years 2 months ago
2005
Springer
Abstract This paper describes a formalisation of the lambda-calculus in a HOL-based theorem prover using nominal techniques. Central to the formalisation is an inductive set that i...