136 search results - page 22 / 28 » Describing Additive Fluents in Action Language C |
POPL
1997
ACM
13 years 12 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
ICAIL
2007
ACM
13 years 11 months ago
2007
ACM
We perform a survey into the scope and utility of opinion mining in legal Weblogs (a.k.a. blawgs). The number of `blogs' in the legal domain is growing at a rapid pace and ma...
IJRR
2010
13 years 6 months ago
2010
This paper explores a topological perspective of planning in the presence of uncertainty, focusing on tasks specified by goal states in discrete spaces. The paper introduces stra...
NIPS
2007
13 years 9 months ago
2007
It is becoming increasingly evident that organisms acting in uncertain dynamical environments often employ exact or approximate Bayesian statistical calculations in order to conti...
BIBM
2007
IEEE
14 years 2 months ago
2007
IEEE
Thousands of biochemical interactions are available for download from curated databases such as Reactome, Pathway Interaction Database and other sources in the Biological Pathways...