Sciweavers

1448 search results - page 187 / 290
» Restricted Stack Implementations
Sort
View
DBPL
1991
Springer
98views Database» more  DBPL 1991»
14 years 21 days ago
Structural Recursion as a Query Language
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
Val Tannen, Peter Buneman, Shamim A. Naqvi
ECAIW
1994
Springer
14 years 21 days ago
Representing and Executing Agent-Based Systems
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
Michael Fisher
DLOG
2007
13 years 11 months ago
Deciding ALBO with Tableau
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
Renate A. Schmidt, Dmitry Tishkovsky
IJCAI
2007
13 years 10 months ago
Sharing the Road: Autonomous Vehicles Meet Human Drivers
In modern urban settings, automobile traffic and collisions lead to endless frustration as well as significant loss of life, property, and productivity. Recent advances in arti...
Kurt M. Dresner, Peter Stone
BXML
2004
13 years 10 months ago
Metaschema Layering for XML
: The Extensible Markup Language (XML) is based on the concept of schema languages, which are used for validation of XML documents. In most cases, the metamodeling view of XML-base...
Erik Wilde