Sciweavers

609 search results - page 68 / 122
» Better Alignments = Better Translations
Sort
View
ECML
2001
Springer
14 years 4 days ago
Wrapping Web Information Providers by Transducer Induction
Modern agent and mediator systems communicate to a multitude of Web information providers to better satisfy user requests. They use wrappers to extract relevant information from HT...
Boris Chidlovskii
FOCS
1999
IEEE
13 years 12 months ago
A Study of Proof Search Algorithms for Resolution and Polynomial Calculus
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
Maria Luisa Bonet, Nicola Galesi
ISTCS
1995
Springer
13 years 11 months ago
Some Improvements to Total Degree Tests
A low-degree test is a collection of simple, local rules for checking the proximity of an arbitrary function to a lowdegree polynomial. Each rule depends on the function’s value...
Katalin Friedl, Madhu Sudan
DKE
2006
110views more  DKE 2006»
13 years 7 months ago
Efficient recursive XML query processing using relational database systems
Recursive queries are quite important in the context of XML databases. In addition, several recent papers have investigated a relational approach to store XML data and there is gr...
Sandeep Prakash, Sourav S. Bhowmick, Sanjay Kumar ...
TELSYS
2002
70views more  TELSYS 2002»
13 years 7 months ago
Integrating Differentiated Services with ATM
IP in the edge and ATM in the core are commonplace in today's internetworks. The IETF has proposed a new Quality of Service (QoS) mechanism namely Differentiated Services (Dif...
Sowmya Manjanatha, Radim Bartos