Sciweavers

4163 search results - page 595 / 833
» A comprehensive combination framework
Sort
View
CADE
2004
Springer
16 years 7 months ago
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
José Meseguer, Grigore Rosu
CVPR
2010
IEEE
16 years 3 months ago
Beyond Active Noun Tagging: Modeling Contextual Interactions for Multi-Class Active Learning
We present an active learning framework to simultaneously learn appearance and contextual models for scene understanding tasks (multi-class classification). Existing multi-class a...
Behjat Siddiquie, Abhinav Gupta
CVPR
2009
IEEE
16 years 1 months ago
Robust guidewire tracking in fluoroscopy
A guidewire is a medical device inserted into vessels during image guided interventions for balloon inflation. During interventions, the guidewire undergoes non-rigid deformation...
Peng Wang, Terrence Chen, Ying Zhu, Wei Zhang, Sha...
IROS
2009
IEEE
129views Robotics» more  IROS 2009»
16 years 1 months ago
Predicting the navigation performance of underwater vehicles
— In this paper we present a general framework for predicting the positioning uncertainty of underwater vehicles. We apply this framework to common examples from marine robotics:...
Brian Bingham
ADMA
2009
Springer
212views Data Mining» more  ADMA 2009»
16 years 1 months ago
Automating Gene Expression Annotation for Mouse Embryo
It is of high biomedical interest to identify gene interactions and networks that are associated with developmental and physiological functions in the mouse embryo. There are now v...
Liangxiu Han, Jano I. van Hemert, Richard A. Baldo...