Sciweavers

2253 search results - page 229 / 451
» The ComFoRT Reasoning Framework
Sort
View
ACS
2008
14 years 11 months ago
Subobject Transformation Systems
Abstract Subobject transformation systems (sts) are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pu...
Andrea Corradini, Frank Hermann, Pawel Sobocinski
ADHOC
2007
95views more  ADHOC 2007»
14 years 11 months ago
Sink-to-sensors congestion control
— The problem of congestion in sensor networks is significantly different from conventional ad-hoc networks and has not been studied to any great extent thus far. In this paper,...
Ramanuja Vedantham, Raghupathy Sivakumar, Seung-Jo...
AMAI
2008
Springer
14 years 11 months ago
Mixed deterministic and probabilistic networks
Abstract The paper introduces mixed networks, a new graphical model framework for expressing and reasoning with probabilistic and deterministic information. The motivation to devel...
Robert Mateescu, Rina Dechter
ANOR
2010
75views more  ANOR 2010»
14 years 11 months ago
A new methodology for studying the equity premium
This paper provides a new framework for the derivation and estimation of consumption and the equity premium functions. The novelty in our approach is that it does not require the ...
Elie Appelbaum, Parantap Basu
ECEASST
2008
60views more  ECEASST 2008»
14 years 11 months ago
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
Abstract: In several rule-based applications using graph transformation as underlying modeling technique the following questions arise: How can one be sure that a specific sequence...
Leen Lambers, Hartmut Ehrig, Gabriele Taentzer