263 search results - page 31 / 53 » Experiments with the DFL Hybrid System |
HVC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
IJCNLP
2005
Springer
14 years 1 months ago
2005
Springer
We present a method of chunking in Korean texts using conditional random fields (CRFs), a recently introduced probabilistic model for labeling and segmenting sequence of data. In a...
ICRA
2002
IEEE
14 years 18 days ago
2002
IEEE
This article deals with specific aspects concerning the visual perception process of a humanoid walking machine. An active vision system provides the information about the enviro...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Neural networks are a useful alternative to Gaussian mixture models for acoustic modeling; however, training multilayer networks involves a difficult, nonconvex optimization that...
MOBISYS
2010
ACM
13 years 10 months ago
2010
ACM
Mobile sensing is difficult without power. Emerging Computational RFIDs (CRFIDs) provide both sensing and generalpurpose computation without batteries--instead relying on small ca...