Sciweavers

2714 search results - page 133 / 543
» On the Notion of Value Object
Sort
View
GIS
1998
ACM
15 years 6 months ago
Natural-Language Spatial Relations Between Linear and Areal Objects: The Topology and Metric of English-Language Terms
Spatial relations are the basis for many selections users perform when they query geographic information systems (GISs). Although such query languages use natural-language-like te...
A. Rashid B. M. Shariff, Max J. Egenhofer, David M...
WWW
2004
ACM
16 years 7 months ago
Semi-automatic annotation of contested knowledge on the world wide web
We describe a strategy to support the semantic annotation of contested knowledge, in the context of the Scholarly Ontologies project, which aims at building a network of interpret...
Bertrand Sereno, Simon Buckingham Shum, Enrico Mot...
LICS
2005
IEEE
15 years 12 months ago
Operational Domain Theory and Topology of a Sequential Programming Language
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
Martín Hötzel Escardó, Weng Kin...
FORMATS
2004
Springer
15 years 11 months ago
Robustness and Implementability of Timed Automata
In a former paper, we defined a new semantics for timed automata, the Almost ASAP semantics, which is parameterized by ∆ to cope with the reaction delay of the controller. We sh...
Martin De Wulf, Laurent Doyen, Nicolas Markey, Jea...
EMMCVPR
2003
Springer
15 years 11 months ago
Path Variation and Image Segmentation
We study a notion of variation for real valued two variable functions called the path variation and we discuss its application as a low-level image segmentation method. For this pu...
Pablo Andrés Arbeláez, Laurent D. Co...