3938 search results - page 421 / 788 » Interactive Protocols on the Reals |
175
click to vote
SIAMAM
2008
15 years 5 months ago
2008
We present a new local tomographic algorithm applicable to electron microscope tomography. Our algorithm applies to the standard data acquisition method, single-axis tilting, as we...
162
Voted
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper presents a method for automatic color and intensity normalization of digitized histology slides stained with two different agents. In comparison to previous a...
169
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
228
click to vote
TAL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The question answering systems are considered the next generation of search engines. This paper focuses on the first step of this process, which is to search for relevant...
150
Voted
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we discuss the collection, semantic annotation and analysis of real-time social signals from microblogging data. We focus on users interested in analyzing social sign...