1422 search results - page 28 / 285 » Complementation in Abstract Interpretation |
HCI
2007
15 years 3 months ago
2007
Abstract. To retrieve pictograms having semantically ambiguous interpretations, we propose a semantic relevance measure which uses pictogram interpretation words collected from a w...
105
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Library of Numerical Abstract Domains for Static Analysis Bertrand Jeannet1 and Antoine Min?e2 1 INRIA Rh^one-Alpes, Grenoble, France, Bertrand.Jeannet@inrialpes.fr 2 CNRS, ?Ecole ...
120
click to vote
CICLING
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we present a plug and play dialogue system for smart environments. The environment description and its state are stored on a domain ontology. This ontology is formed ...
123
click to vote
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present the design and implementation of a new inexact Newton type algorithm for solving large-scale bundle adjustment problems with tens of thousands of images. We ex...
109
click to vote
COLING
1992
15 years 3 months ago
1992
he more abstract term "relational morphology" in place of tile usual "two-level morphology" in order to emphasize an aspect of Koskenniemi's work which ha...