1701 search results - page 46 / 341 » Computer Science and State Machines |
124
click to vote
ICML
2006
IEEE
16 years 3 months ago
2006
IEEE
Inference in Markov Decision Processes has recently received interest as a means to infer goals of an observed action, policy recognition, and also as a tool to compute policies. ...
142
click to vote
ACL
2010
15 years 27 days ago
2010
We present cdec, an open source framework for decoding, aligning with, and training a number of statistical machine translation models, including word-based models, phrase-based m...
132
click to vote
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
106
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Turing machines exposed to a small stochastic noise are considered. An exact characterisation of their (≈ Π0 2 ) computational power (as noise level tends to 0) is obt...
133
click to vote
ISPDC
2003
IEEE
15 years 8 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...