3001 search results - page 337 / 601 » Recursive type generativity |
184
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Various local descriptors have been used successfully in a variety of tasks including object recognition. Although different descriptors have been shown to have different strength...
197
click to vote
TPHOL
2008
IEEE
16 years 29 days ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
191
click to vote
ADAEUROPE
2008
Springer
16 years 28 days ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
172
click to vote
BROADNETS
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...
202
click to vote
CBMS
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper describes how high level biological knowledge obtained from ontologies such as the Gene Ontology (GO) can be integrated with low level information extracted from a Baye...