9110 search results - page 175 / 1822 » Formally-Based Design Evaluation |
128
click to vote
LREC
2010
15 years 6 months ago
2010
The increasing amount of available textual information makes necessary the use of Natural Language Processing (NLP) tools. These tools have to be used on large collections of docu...
131
Voted
IJAHUC
2008
15 years 5 months ago
2008
: Traditional ad hoc routing protocols do not work in intermittently connected networks since end-to-end paths may not exist in such networks. Hence, routing mechanisms that can wi...
160
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: Microarray devices permit a genome-scale evaluation of gene function. This technology has catalyzed biomedical research and development in recent years. As many import...
170
Voted
BMCBI
2004
15 years 5 months ago
2004
Background: The program InDeVal was originally developed to help researchers find known regions of insertion/deletion activity (with the exception of isolated single-base indels) ...
138
click to vote
TOCS
1998
15 years 4 months ago
1998
Orca is a portable, object-based distributed shared memory system. This paper studies and evaluates the design choices made in the Orca system and compares Orca with other DSMs. T...