Sciweavers

2920 search results - page 198 / 584
» Finite information logic
Sort
View
ADC
2007
Springer
193views Database» more  ADC 2007»
16 years 24 days ago
Optimizing XPath Queries on Streaming XML Data
XML stream processing has recently become popular for many applications such as selective dissemination of information. Several approaches have been proposed and most of them are ...
Keerati Jittrawong, Raymond K. Wong
NLDB
2007
Springer
16 years 23 days ago
Electronic Dictionaries and Transducers for Automatic Processing of the Albanian Language
We intend on developing electronic dictionaries and Finite State Transducers for the automatic processing of the Albanian Language. We describe some peculiarities of this language ...
Odile Piton, Klara Lagji, Remzi Përnaska
ATVA
2006
Springer
75views Hardware» more  ATVA 2006»
15 years 10 months ago
Symbolic Unfoldings for Networks of Timed Automata
In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets ex...
Franck Cassez, Thomas Chatain, Claude Jard
143
Voted
CG
2006
Springer
15 years 10 months ago
A Retrograde Approximation Algorithm for One-Player Can't Stop
Abstract. A one-player, finite, probabilistic game with perfect information can be presented as a bipartite graph. For one-player Can't Stop, the graph is cyclic and the chall...
James Glenn, Haw-ren Fang, Clyde P. Kruskal
101
Voted
MOC
2002
86views more  MOC 2002»
15 years 6 months ago
An algorithm for finding all preprojective components of the Auslander-Reiten quiver
Abstract. The Auslander-Reiten quiver of a finite-dimensional associative algebra A encodes information about the indecomposable finite-dimensional representations of A and their h...
Peter Dräxler, Klara Kögerler