Sciweavers

206 search results - page 20 / 42
» Weak Alternating Automata Are Not That Weak
Sort
View
DEBS
2010
ACM
13 years 2 months ago
Distributed structural and value XML filtering
Many XML filtering systems have emerged in recent years identifying XML data that structurally match XPath queries in an efficient way. However, apart from structural matching, it...
Iris Miliaraki, Manolis Koubarakis
COMPSAC
1999
IEEE
13 years 12 months ago
Initial Design of the "Plug-n-Analyze" Framework for Architecture Tradeoff Analysis
This paper presents an initial design of the "Plug-nAnalyze" framework for the tradeoff analysisin determining architecture alternatives that have different strength and...
Hoh In, Ana Erendira Flores-Mendoza
ICML
2009
IEEE
14 years 8 months ago
Compositional noisy-logical learning
We describe a new method for learning the conditional probability distribution of a binary-valued variable from labelled training examples. Our proposed Compositional Noisy-Logica...
Alan L. Yuille, Songfeng Zheng
IPL
2008
102views more  IPL 2008»
13 years 7 months ago
The connection between two ways of reasoning about partial functions
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
John S. Fitzgerald, Cliff B. Jones
JHSN
1998
66views more  JHSN 1998»
13 years 7 months ago
A case for dynamic sender-based reservations in the Internet
In this paper we discuss the need for resource reservation in the Internet and examine some of the strengths and weaknesses of RSVP, which is currently the most popular of Interne...
Paul Patrick White, Jon Crowcroft