Sciweavers

968 search results - page 171 / 194
» Improving Difference Operators by Local Feature Detection
Sort
View
DFG
2004
Springer
14 years 2 days ago
Modeling and Formal Verification of Production Automation Systems
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wo...
BMCBI
2008
88views more  BMCBI 2008»
13 years 8 months ago
Microarray-based gene set analysis: a comparison of current methods
Background: The analysis of gene sets has become a popular topic in recent times, with researchers attempting to improve the interpretability and reproducibility of their microarr...
Sarah Song, Michael A. Black
INFORMATICALT
2007
167views more  INFORMATICALT 2007»
13 years 8 months ago
Ultrasound Quantitative Evaluation of Human Eye Cataract
Abstract. A technique to improve an eye cataract early detection and quantitative evaluation of maturity using ultrasound was investigated. A broadband coherent signal, backscatter...
Alvydas Paunksnis, Skaidra Kurapkiene, Audris Maci...
ICDE
2005
IEEE
122views Database» more  ICDE 2005»
14 years 9 months ago
Uncovering Database Access Optimizations in the Middle Tier with TORPEDO
A popular architecture for enterprise applications is one of a stateless object-based server accessing persistent data through Object-Relational mapping software. The reported ben...
Bruce E. Martin
CVPR
2006
IEEE
14 years 10 months ago
BoostMotion: Boosting a Discriminative Similarity Function for Motion Estimation
Motion estimation for applications where appearance undergoes complex changes is challenging due to lack of an appropriate similarity function. In this paper, we propose to learn ...
Shaohua Kevin Zhou, Bogdan Georgescu, Dorin Comani...