Sciweavers

1959 search results - page 339 / 392
» Concerned About Separation
Sort
View
FOSSACS
2008
Springer
15 years 1 months ago
Footprints in Local Reasoning
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
Mohammad Raza, Philippa Gardner
CLIN
2004
15 years 1 months ago
Learning Dutch Coreference Resolution
This paper presents a machine learning approach to the resolution of coreferential relations between nominal constituents in Dutch. It is the first significant automatic approach ...
Véronique Hoste, Walter Daelemans
TREC
2004
15 years 1 months ago
Overview of the TREC 2004 Question Answering Track
The TREC 2004 Question Answering track contained a single task in which question series were used to define a set of targets. Each series contained factoid and list questions and ...
Ellen M. Voorhees
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
15 years 1 days ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...
NAR
2008
118views more  NAR 2008»
14 years 11 months ago
SuperTarget and Matador: resources for exploring drug-target relationships
The molecular basis of drug action is often not well understood. This is partly because the very abundant and diverse information generated in the past decades on drugs is hidden ...
Stefan Günther, Michael Kuhn 0004, Mathias Du...