Sciweavers

6020 search results - page 302 / 1204
» A New Approach to Model Counting
Sort
View
ATAL
2006
Springer
15 years 10 months ago
Learnable behavioural model for autonomous virtual agents: low-level learning
In this paper, we propose a new integration approach for simulation and behaviour in the learning context that is able to coherently manage the shared virtual environment for the ...
Toni Conde, Daniel Thalmann
EMNLP
2008
15 years 8 months ago
Improved Sentence Alignment on Parallel Web Pages Using a Stochastic Tree Alignment Model
Parallel web pages are important source of training data for statistical machine translation. In this paper, we present a new approach to sentence alignment on parallel web pages....
Lei Shi, Ming Zhou
NIPS
2004
15 years 8 months ago
A Hidden Markov Model for de Novo Peptide Sequencing
De novo Sequencing of peptides is a challenging task in proteome research. While there exist reliable DNA-sequencing methods, the highthroughput de novo sequencing of proteins by ...
Bernd Fischer, Volker Roth, Joachim M. Buhmann, Jo...
BMVC
1998
15 years 8 months ago
Learning Enhanced 3D Models for Vehicle Tracking
This paper presents an enhanced hypothesis verification strategy for 3D object recognition. A new learning methodology is presented which integrates the traditional dichotomic obj...
James M. Ferryman, Anthony D. Worrall, Stephen J. ...
BIRTHDAY
2010
Springer
15 years 7 months ago
Model Checking Programmable Router Configurations
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...
Luca Zanolin, Cecilia Mascolo, Wolfgang Emmerich