2722 search results - page 288 / 545 » Automating Language Evolution |
142
click to vote
GIS
2002
ACM
15 years 4 months ago
2002
ACM
The paper describes how the Web can be used as a support for intensive querying and display of large moving objects databases. We present first an architecture for a system which ...
166
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
157
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
147
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
We develop the theory of regular cost functions over finite trees: a quantitative extension to the notion of regular languages of trees: Cost functions map each input (tree) to a v...
164
click to vote
RWEB
2010
Springer
15 years 2 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...