Sciweavers

386 search results - page 41 / 78
» Interval Valued QL-Implications
Sort
View
IAT
2008
IEEE
14 years 3 months ago
Introducing Communication in Dis-POMDPs with Locality of Interaction
The Networked Distributed POMDPs (ND-POMDPs) can model multiagent systems in uncertain domains and has begun to scale-up the number of agents. However, prior work in ND-POMDPs has ...
Makoto Tasaki, Yuichi Yabu, Yuki Iwanari, Makoto Y...
HYBRID
2007
Springer
14 years 3 months ago
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
Grégory Batt, Calin Belta, Ron Weiss
ECAI
2006
Springer
14 years 16 days ago
A Multivalued Logic Model of Planning
Abstract. In this work a model for planning with multivalued fluents and graded actions, based on the infinite valued Lukasiewicz logic, is introduced. In multivalued planning, flu...
Marco Baioletti, Alfredo Milani, Valentina Poggion...
FTCS
1997
57views more  FTCS 1997»
13 years 10 months ago
Predicting Physical Processes in the Presence of Faulty Sensor Readings
A common problem in the operation of mission critical control systems is that of determining the future value of a physical quantity based upon past measurements of it or of relat...
Matthew Clegg, Keith Marzullo
SAS
2010
Springer
149views Formal Methods» more  SAS 2010»
13 years 7 months ago
Boxes: A Symbolic Abstract Domain of Boxes
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
Arie Gurfinkel, Sagar Chaki