873 search results - page 55 / 175 » Effective Use of Organisational Abstractions for Confidence ... |
183
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The incorporation of statistical models that account for experimental variability provides a necessary framework for the interpretation of microarray data. A robust ex...
135
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
173
click to vote
COMPLEX
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The aim of a transportation system is to enable the movement of goods or persons between any two locations with the highest possible efficiency. This simple principle ins...
169
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. In this work, we introduce a model-based approach to extracting the silhouette of people in motion from stereo video sequences. To this end, we extend a purely stereo-bas...
169
click to vote
CAI
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, finite model theory and pro...