Sciweavers

168 search results - page 23 / 34
» Towards Reasoning about the Past in Neural-symbolic Systems
Sort
View
WICSA
2008
13 years 10 months ago
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
Zhiming Chang, XinJun Mao, Zhichang Qi
IJAR
2008
118views more  IJAR 2008»
13 years 8 months ago
Dynamic multiagent probabilistic inference
Cooperative multiagent probabilistic inference can be applied in areas such as building surveillance and complex system diagnosis to reason about the states of the distributed unc...
Xiangdong An, Yang Xiang, Nick Cercone
EWCBR
2008
Springer
13 years 10 months ago
Case-Based Decision Support for Patients with Type 1 Diabetes on Insulin Pump Therapy
Abstract. This paper presents a case-based approach to decision support for diabetes management in patients with Type 1 diabetes on insulin pump therapy. To avoid serious disease c...
Cindy Marling, Jay Shubrook, Frank Schwartz
DSN
2005
IEEE
14 years 2 months ago
TIBFIT: Trust Index Based Fault Tolerance for Arbitrary Data Faults in Sensor Networks
Since sensor data gathering is the primary functionality of sensor networks, it is important to provide a fault tolerant method for reasoning about sensed events in the face of ar...
Mark D. Krasniewski, Padma Varadharajan, Bryan Rab...
ECMDAFA
2008
Springer
100views Hardware» more  ECMDAFA 2008»
13 years 10 months ago
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
Gregor Engels, Anneke Kleppe, Arend Rensink, Maria...