176 search results - page 19 / 36 » Improving Test Suites via Operational Abstraction |
ECAI
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. The paper presents an implemented model for priming speech recognition, using contextual information about salient entities. The underlying hypothesis is that, in human-r...
BMCBI
2005
13 years 6 months ago
2005
Background: Alignments of homologous DNA sequences are crucial for comparative genomics and phylogenetic analysis. However, multiple alignment represents a computationally difficu...
GRID
2006
Springer
13 years 6 months ago
2006
Springer
Abstract-- Service discovery is a critical task in serviceoriented architectures. GRIMOIRES is a UDDI-compliant service registry with rich metadata annotation capabilities. In this...
POPL
2007
ACM
14 years 7 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— Local maps algorithms have demonstrated to be well suited for mapping large environments as can reduce the computational cost and improve the consistency of the final estimati...