Sciweavers

2315 search results - page 223 / 463
» Does EigenPalm work
Sort
View
SIGIR
2004
ACM
15 years 11 months ago
A search engine for imaged documents in PDF files
Large quantities of documents in the Internet and digital libraries are simply scanned and archived in image format, many of which are packed in PDF files. The word search tool pr...
Yue Lu, Li Zhang, Chew Lim Tan
ADVIS
2004
Springer
15 years 11 months ago
On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models
Abstract. In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, ...
Costin Badica, Chris Fox
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
15 years 11 months ago
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Data races do not cover all kinds of concurrency errors. This paper presents a data-ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
Cyrille Artho, Klaus Havelund, Armin Biere
CLEF
2004
Springer
15 years 11 months ago
Dublin City University at CLEF 2004: Experiments in Monolingual, Bilingual and Multilingual Retrieval
The Dublin City University group participated in the monolingual, bilingual and multilingual retrieval tasks this year. The main focus of our investigation this year was extending...
Gareth J. F. Jones, Michael Burke, John Judge, Ann...
ECML
2004
Springer
15 years 11 months ago
Convergence and Divergence in Standard and Averaging Reinforcement Learning
Although tabular reinforcement learning (RL) methods have been proved to converge to an optimal policy, the combination of particular conventional reinforcement learning techniques...
Marco Wiering