Sciweavers

511 search results - page 28 / 103
» Spelling Correction Using Context
Sort
View
AGP
1995
IEEE
15 years 4 months ago
Domain Independent Ask Approximation in CCP
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
Enea Zaffanella
101
Voted
MICCAI
2003
Springer
16 years 1 months ago
Drusen Detection in a Retinal Image Using Multi-level Analysis
This paper concerns a method to automatically detect drusen in a retinal image without human supervision or interaction. We use a multi-level approach, beginning with classificatio...
Lee Brandon, Adam Hoover
96
Voted
FSEN
2007
Springer
15 years 6 months ago
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
Mahdi Niamanesh, Rasool Jalili
105
Voted
BNCOD
2007
96views Database» more  BNCOD 2007»
15 years 2 months ago
Extracting Temporal Information from Short Messages
Abstract. Information Extraction, the process of eliciting data from natural language documents, usually relies on the ability to parse the document and then to detect the meaning ...
Richard Cooper, Sinclair Manson
84
Voted
BMCBI
2006
171views more  BMCBI 2006»
15 years 19 days ago
The Autoimmune Disease Database: a dynamically compiled literature-derived database
Background: Autoimmune diseases are disorders caused by an immune response directed against the body's own organs, tissues and cells. In practice more than 80 clinically dist...
Thomas Karopka, Juliane Fluck, Heinz-Theodor Mevis...