3758 search results - page 570 / 752 » A Complete Subsumption Algorithm |
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
76
Voted
VLDB
2005
ACM
15 years 3 months ago
2005
ACM
An XML-to-relational mapping scheme consists of a procedure for shredding XML documents into relational databases, a procedure for publishing databases back as documents, and a se...
VLDB
2005
ACM
15 years 3 months ago
2005
ACM
As a simple XML query language but with enough expressive power, XPath has become very popular. To expedite evaluation of XPath queries, we consider the problem of rewriting XPath...
WABI
2005
Springer
15 years 3 months ago
2005
Springer
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...
ACMSE
2004
ACM
15 years 3 months ago
2004
ACM
This paper presents a distributed multi-robot system designed to solve a team-based search and destroy task. The project was divided into two phases. The initial phase was used to...