Sciweavers

2210 search results - page 65 / 442
» CLEF 2001 - Overview of Results
Sort
View
WWW
2001
ACM
14 years 10 months ago
A Scalable Framework for Collaborating Web Clearinghouses
This paper describes how Web clearinghouses can be organized so that they can effectively collaborate with each other to improve both the recall and the precision of results retur...
Pei Yuen Wong
DCC
2005
IEEE
14 years 9 months ago
On Goppa Codes and Weierstrass Gaps at Several Points
We generalize results of Homma and Kim [2001, J. Pure Appl. Algebra 162, 273?290] concerning an improvement on the Goppa bound on the minimum distance of certain Goppa codes.
Cícero Carvalho, Fernando Torres
CP
2001
Springer
14 years 2 months ago
Automatic Generation of Implied Clauses for SAT
This paper presents a survey of the use of resolution in propositional satisfiability, and some preliminary results from the implementation of a hybrid resolution and search algor...
Lyndon Drake
ISSAC
2001
Springer
133views Mathematics» more  ISSAC 2001»
14 years 2 months ago
Irreducible trinomials over finite fields
A necessary condition for irreducibility of a trinomial over a finite field, based on classical results of Stickelberger and Swan, is established. It is applied in the special ca...
Joachim von zur Gathen
EUSFLAT
2001
13 years 11 months ago
Criticality analysis in activity networks under incomplete information
A review of the main results obtained by the authors concerning analysis of networks with imprecise activity duration times, with a stress on the analysis of criticality, is prese...
Stefan Chanas, Didier Dubois, Pawel Zielinski