4460 search results - page 792 / 892 » Formal methods for interactive systems |
CVPR
2000
IEEE
14 years 11 months ago
2000
IEEE
Curve evolution schemes for segmentation, implemented with level set methods, have become an important approach in computer vision. Previous work has modeled evolving contours whi...
CICLING
2009
Springer
14 years 9 months ago
2009
Springer
This paper presents a method for improving phrase-based Statistical Machine Translation systems by enriching the original translation model with information derived from a multilin...
RECOMB
2008
Springer
14 years 9 months ago
2008
Springer
A central challenge in systems biology is the reconstruction of biological networks from high-throughput data sets. A particularly difficult case of this is the inference of dynami...
AGILE
2008
Springer
14 years 3 months ago
2008
Springer
Methods to determine the semantic relatedness (SR) value between two lexically expressed entities abound in the field of natural language processing (NLP). The goal of such efforts...
IJCNN
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— One of the major challenges in both action generation for robotics and in the understanding of human motor control is to learn the “building blocks of movement genera...