285 search results - page 3 / 57 » On Continuous Models of Computation: Towards Computing the D... |
POPL
2012
ACM
12 years 27 days ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
AINA
2009
IEEE
14 years 5 days ago
2009
IEEE
āThis paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
ACL
2012
11 years 7 months ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires ā...
IJCAI
2003
13 years 6 months ago
2003
The problem of deriving joint policies for a group of agents that maximize some joint reward function can be modeled as a decentralized partially observable Markov decision proces...
KBSE
2005
IEEE
13 years 11 months ago
2005
IEEE
Software veriļ¬cation using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...