330 search results - page 13 / 66 » A Unifying Version-Space Representation |
GEOINFO
2007
14 years 10 days ago
2007
Coverage representations, as defined by the OGC specifications, are useful for representing a wide range of geographic phenomena. However, in most GIS projects, coverage representa...
JOLLI
2010
13 years 9 months ago
2010
in Abstract Categorial Grammars Christian Retor´e, Sylvain Salvati This paper solves a natural but still open question: can Abstract Categorial Grammars (ACGs) have been defined ...
CVPR
1999
IEEE
15 years 27 days ago
1999
IEEE
A technique is presented for representing linear features as probability density functions in two or three dimensions. Three chief advantages of this approach are (1) a unified re...
CSL
2010
Springer
14 years 4 hour ago
2010
Springer
We investigate a modification of the sequent calculus which s a first-order proof into its abstract deductive structure and a unifier which renders this structure a valid proof. We...
COMPSAC
2002
IEEE
14 years 3 months ago
2002
IEEE
There is an increasing trend in global software development, where different parts of a software product are being developed in different organisations. The process aspect of such...