Sciweavers

8099 search results - page 240 / 1620
» Higher-Order Task Models
Sort
View
ICPR
2006
IEEE
16 years 7 months ago
Protein Fold Recognition using a Structural Hidden Markov Model
Protein fold recognition has been the focus of computational biologists for many years. In order to map a protein primary structure to its correct 3D fold, we introduce in this pa...
Djamel Bouchaffra, Jun Tan
MICCAI
2006
Springer
16 years 7 months ago
Spline-Based Probabilistic Model for Anatomical Landmark Detection
Abstract. In medical imaging, finding landmarks that provide biologically meaningful correspondences is often a challenging and time-consuming manual task. In this paper we propose...
Camille Izard, Bruno Jedynak, Craig E. L. Stark
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
16 years 1 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
ICCBR
2009
Springer
16 years 1 months ago
S-Learning: A Model-Free, Case-Based Algorithm for Robot Learning and Control
A model-free, case-based learning and control algorithm called S-learning is described as implemented in a simulation of a light-seeking mobile robot. S-learning demonstrated learn...
Brandon Rohrer
AINA
2007
IEEE
16 years 27 days ago
Towards Device-Blending: Model and Challenges
This position paper proposes a device-blending architecture for aggregating device functionality via inter-device peer-topeer relationships, effectively forming a multi-device “...
Harinder Seera, Seng Wai Loke, Torab Torabi