1204 search results - page 49 / 241 » Hybrid Probabilistic Programs |
LICS
2003
IEEE
14 years 3 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
With the increasing demand for spoken language interfaces in human-computer interactions, automatic recognition of emotional states from human speeches has become of increasing im...
ICDAR
2007
IEEE
14 years 4 months ago
2007
IEEE
Recognition of mathematical symbols is a challenging task, with a large set with many similar symbols. We present a support vector machine based hybrid recognition system that use...
QEST
2006
IEEE
14 years 3 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
PLDI
2012
ACM
12 years 11 days ago
2012
ACM
Software-based thread-level parallelization has been widely studied for exploiting data parallelism in purely computational loops to improve program performance on multiprocessors...