Sciweavers

298 search results - page 20 / 60
» An Analysis of Exponentiation Based on Formal Languages
Sort
View
114
Voted
ANLP
1994
105views more  ANLP 1994»
15 years 3 months ago
The Delphi Natural Language Understanding System
This paper presents Delphi, the natural language component of the BBN Spoken Language System. Delphi is a domainindependent natural language question answering system that is soli...
Madeleine Bates, Robert J. Bobrow, Robert Ingria, ...
BMCBI
2010
178views more  BMCBI 2010»
15 years 1 months ago
Applications of a formal approach to decipher discrete genetic networks
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
Fabien Corblin, Eric Fanchon, Laurent Trilling
ICCS
2007
Springer
15 years 8 months ago
Supporting Lexical Ontology Learning by Relational Exploration
Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those task...
Sebastian Rudolph, Johanna Völker, Pascal Hit...
PLDI
2004
ACM
15 years 7 months ago
KISS: keep it simple and sequential
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
Shaz Qadeer, Dinghao Wu
133
Voted
IMCSIT
2010
14 years 11 months ago
Generation of First-Order Expressions from a Broad Coverage HPSG Grammar
This paper describes an application for computing first-order semantic representations of English texts. It is based on a combination of hybrid shallow-deep components arranged wit...
Ravi Coote, Andreas Wotzlaw