Sciweavers

3825 search results - page 92 / 765
» The Language of Time: A Reader
Sort
View
VLDB
1992
ACM
98views Database» more  VLDB 1992»
15 years 1 months ago
Updates in a Rule-Based Language for Objects
The integration of object-oriented concepts into deductive databases has been investigated for a certain time now. Various approaches to incorporate updates into deduction have be...
Michael Kramer, Georg Lausen, Gunter Saake
CSFW
1998
IEEE
15 years 1 months ago
Probabilistic Noninterference in a Concurrent Language
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
Dennis M. Volpano, Geoffrey Smith
ICGI
1998
Springer
15 years 2 months ago
Learning k-Variable Pattern Languages Efficiently Stochastically Finite on Average from Positive Data
Abstract. The present paper presents a new approach of how to convert Gold-style [4] learning in the limit into stochastically finite learning with high confidence. We illustrate t...
Peter Rossmanith, Thomas Zeugmann
CAI
2009
Springer
15 years 4 months ago
Picture Languages: From Wang Tiles to 2D Grammars
The aim of this paper is to collect definitions and results on the main classes of 2D languages introduced with the attempt of generalizing regular and context-free string languag...
Alessandra Cherubini, Matteo Pradella
IPL
2008
79views more  IPL 2008»
14 years 10 months ago
On the efficient construction of quasi-reversible automata for reversible languages
Quasi-reversible automata is a suitable representation for reversible languages. In this work a method is proposed to obtain such an automaton for any given reversible language re...
Pedro García, Manuel Vazquez de Parga, Dami...