13383 search results - page 318 / 2677 » Abstractions from proofs |
149
click to vote
VISAPP
2008
15 years 8 months ago
2008
Abstract. This article describes an algorithm for pose or motion estimation based on clustering of parameters in the six-dimensional pose space. The parameter samples are computed ...
129
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we propose a novel technique for constructing timed automata from properties expressed in the logic MTL, under bounded-variability assumptions. We handle fu...
189
click to vote
EUROCRYPT
2007
Springer
16 years 28 days ago
2007
Springer
Among the three broad classes of Identity-Based Encryption schemes built from pairings, the exponent inversion paradigm tends to be the most efficient, but also the least extensibl...
189
click to vote
ESWS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper studies the RDF model from a database perspective. From this point of view it is compared with other database models, particularly with graph database models, ...
189
click to vote
XSYM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...