Sciweavers

1448 search results - page 230 / 290
» Restricted Stack Implementations
Sort
View
ICLP
1997
Springer
15 years 4 months ago
The Complexity of Model Checking in Modal Event Calculi
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
SIGMOD
1996
ACM
112views Database» more  SIGMOD 1996»
15 years 4 months ago
Performance Tradeoffs for Client-Server Query Processing
The constructionof high-performance databasesystems that combine the best aspects of the relational and object-oriented approaches requires the design of client-server architectur...
Michael J. Franklin, Björn Þór J...
DBPL
1993
Springer
104views Database» more  DBPL 1993»
15 years 4 months ago
Extensible Grammars for Language Specialization
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
Luca Cardelli, Florian Matthes, Martín Abad...
EWCBR
1993
Springer
15 years 4 months ago
Structural Similarity as Guidance in Case-Based Design
This paper presents a novel approach to determine structural similarity as guidance for adaptation in case-based reasoning (Cbr). We advance structural similarity assessment which ...
Katy Börner
ISTCS
1993
Springer
15 years 3 months ago
Analog Computation Via Neural Networks
We pursue a particular approach to analog computation, based on dynamical systems of the type used in neural networks research. Our systems have a xed structure, invariant in time...
Hava T. Siegelmann, Eduardo D. Sontag