Sciweavers

7773 search results - page 311 / 1555
» On generalized Frame-Stewart numbers
Sort
View
ICALP
2009
Springer
16 years 7 months ago
Reachability in Stochastic Timed Games
We define stochastic timed games, which extend two-player timed games with probabilities (following a recent approach by Baier et al), and which extend in a natural way continuous-...
Patricia Bouyer, Vojtech Forejt
SIGMOD
2008
ACM
123views Database» more  SIGMOD 2008»
16 years 6 months ago
SchemaScope: a system for inferring and cleaning XML schemas
We present SchemaScope, a system to derive Document Type Definitions and XML Schemas from corpora of sample XML documents. Tools are provided to visualize, clean, and refine exist...
Geert Jan Bex, Frank Neven, Stijn Vansummeren
SIGMOD
2008
ACM
102views Database» more  SIGMOD 2008»
16 years 6 months ago
Stream firewalling of xml constraints
As XML-based messages have become common in many client-server protocols, there is a need to protect application servers from invalid or dangerous messages. This leads to the XML ...
Michael Benedikt, Alan Jeffrey, Ruy Ley-Wild
SIGMOD
2007
ACM
190views Database» more  SIGMOD 2007»
16 years 6 months ago
XANADUE: a system for detecting changes to XML data in tree-unaware relational databases
Recently, a number of main memory algorithms for detecting the changes to XML data have been proposed. These approaches are not suitable for detecting changes to large XML documen...
Erwin Leonardi, Sourav S. Bhowmick
SIGMOD
2004
ACM
120views Database» more  SIGMOD 2004»
16 years 6 months ago
Toward an ontology-enhanced information filtering agent
Whereas search engines assist users in locating initial information sources, often an overwhelmingly large number of ULRs is returned, and the task of browsing websites rests heavi...
Kwang Mong Sim