8828 search results - page 1282 / 1766 » Formal methods in practice |
202
click to vote
CIKM
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we explore the concept of a "library of brain images", which implies not only a repository of brain images, but also efficient search and retrieval mechan...
210
click to vote
CLEAR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper presents evaluation results of a method for tracking speakers in seminars from multiple cameras. First, 2D human tracking and detection is done for each view. ...
181
click to vote
DAS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, a reliable and efficient structural analysis method for mathematical formulae is proposed for practical mathematical OCR. The proposed method consists of three steps...
219
click to vote
DILS
2006
Springer
15 years 10 months ago
2006
Springer
Public biological databases contain vast amounts of rich data that can also be used to create and evaluate new biological hypothesis. We propose a method for link discovery in biol...
207
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
We present algorithmic, complexity and implementation results concerning real root isolation of integer univariate polynomials using the continued fraction expansion of real algeb...