Sciweavers

1227 search results - page 123 / 246
» Using Generation for Grammar Analysis and Error Detection
Sort
View
135
Voted
CORR
2006
Springer
132views Education» more  CORR 2006»
15 years 3 months ago
Navigating multilingual news collections using automatically extracted information
We are presenting a text analysis tool set that allows analysts in various fields to sieve through large collections of multilingual news items quickly and to find information that...
Ralf Steinberger, Bruno Pouliquen, Camelia Ignat
113
Voted
PSB
2003
15 years 5 months ago
Towards Identifying Lateral Gene Transfer Events
This paper is concerned with evaluating the performance of the model and algorithm in [7] for detecting lateral gene transfers events. Using a Poisson process to describe arrival t...
Louigi Addario-Berry, Michael T. Hallett, Jens Lag...
144
Voted
JCDL
2009
ACM
162views Education» more  JCDL 2009»
15 years 10 months ago
Supporting analysis of future-related information in news archives and the web
A lot of future-related information is available in news articles or Web pages. This information can however differ to large extent and may fluctuate over time. It is therefore di...
Adam Jatowt, Kensuke Kanazawa, Satoshi Oyama, Kats...
117
Voted
VL
2005
IEEE
117views Visual Languages» more  VL 2005»
15 years 9 months ago
Goal-Directed Debugging of Spreadsheets
We present a semi-automatic debugger for spreadsheet systems that is specifically targeted at end-user programmers. Users can report expected values for cells that yield incorrec...
Robin Abraham, Martin Erwig
126
Voted
CAV
2010
Springer
206views Hardware» more  CAV 2010»
15 years 7 months ago
Dynamic Cutoff Detection in Parameterized Concurrent Programs
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
Alexander Kaiser, Daniel Kroening, Thomas Wahl