Sciweavers

11752 search results - page 15 / 2351
» Those
Sort
View
72
Voted
CVGIP
2004
78views more  CVGIP 2004»
14 years 9 months ago
Digital Intersections: minimal carrier, connectivity, and periodicity properties
Digital geometry is very different from Euclidean geometry in many ways and the intersection of two digital lines or planes is often used to illustrate those differences. Neverthe...
Isabelle Sivignon, Florent Dupont, Jean-Marc Chass...
COLING
2002
14 years 9 months ago
Reasoning in Metaphor Understanding: The ATT-Meta Approach and System
A detailed approach has been developed for core aspects of the task of understanding a broad class of metaphorical utterances. The utterances in question are those that depend on ...
John A. Barnden, Sheila Glasbey, Mark G. Lee, Alan...
ENTCS
2002
93views more  ENTCS 2002»
14 years 9 months ago
Matroids from modules
The aim of this work is to show that (oriented) matroid methods can be applied to many discrete geometries, namely those based on modules over integral (ordered) domains. The tric...
Nils Anders Danielsson, Michael B. Smyth
LISP
2002
80views more  LISP 2002»
14 years 9 months ago
Comparing Control Constructs by Double-Barrelled CPS
We investigate call-by-value continuation-passing style transforms that continuations. Altering a single variable in the translation of -abstraction gives rise to different control...
Hayo Thielecke
SEMWEB
2010
Springer
14 years 7 months ago
Justification Oriented Proofs in OWL
Abstract. Justifications -- that is, minimal entailing subsets of an ontology -- are currently the dominant form of explanation provided by ontology engineering environments, espec...
Matthew Horridge, Bijan Parsia, Ulrike Sattler