4895 search results - page 781 / 979 » Tools for Grammar Engineering |
156
click to vote
EURODAC
1994
IEEE
15 years 9 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
184
click to vote
CF
2007
ACM
15 years 9 months ago
2007
ACM
In the life sciences, genomic databases for sequence search have been growing exponentially in size. As a result, faster sequencesearch algorithms to search these databases contin...
150
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
167
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
Familiar evaluation methodologies for information retrieval (IR) are not well suited to the task of comparing systems in many real settings. These systems and evaluation methods m...
160
click to vote
CBMS
2008
IEEE
15 years 7 months ago
2008
IEEE
The Gene Ontology Consortium built the Gene Ontology database (GO) to address the need for a common standard in naming genes and gene products. Using different names for the same ...