Sciweavers

655 search results - page 10 / 131
» Automata, Logic, and XML
Sort
View
ECSQARU
2005
Springer
15 years 3 months ago
Measuring the Quality of Uncertain Information Using Possibilistic Logic
Abstract. In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and nec...
Anthony Hunter, Weiru Liu
ADC
2007
Springer
193views Database» more  ADC 2007»
15 years 3 months 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
WIA
2007
Springer
15 years 3 months ago
Weighted Automata and Weighted Logics with Discounting
We introduce a weighted logic with discounting and we establish B¨uchi’s and Elgot’s theorem for weighted automata over finite words and arbitrary commutative semirings. The...
Manfred Droste, George Rahonis
STACS
2009
Springer
15 years 4 months ago
Weak MSO with the Unbounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
Mikolaj Bojanczyk
CSL
2004
Springer
14 years 9 months ago
A Bounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
Mikolaj Bojanczyk