Sciweavers

1802 search results - page 287 / 361
» Model-based Theory Combination
Sort
View
CCE
2007
13 years 9 months ago
A systematic approach to plant-wide control based on thermodynamics
In this work, a systematic approach to plant-wide control design is proposed. The method combines ingredients from process networks, thermodynamics and systems theory to derive ro...
Luis T. Antelo, Irene Otero-Muras, Julio R. Banga,...
CORR
2007
Springer
98views Education» more  CORR 2007»
13 years 9 months ago
Enrichment of Qualitative Beliefs for Reasoning under Uncertainty
– This paper deals with enriched qualitative belief functions for reasoning under uncertainty and for combining information expressed in natural language through linguistic label...
Xinde Li, Xinhan Huang, Florentin Smarandache, Jea...
ENTCS
2007
126views more  ENTCS 2007»
13 years 9 months ago
Nominal Reasoning Techniques in Coq: (Extended Abstract)
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
Brian E. Aydemir, Aaron Bohannon, Stephanie Weiric...
ENTCS
2007
84views more  ENTCS 2007»
13 years 9 months ago
A Rewriting Logic Framework for Soft Constraints
Soft constraints extend classical constraints to deal with non-functional requirements, overconstrained problems and preferences. Bistarelli, Montanari and Rossi have developed a ...
Martin Wirsing, Grit Denker, Carolyn L. Talcott, A...
JSAC
2006
128views more  JSAC 2006»
13 years 9 months ago
A framework for misuse detection in ad hoc networks- part II
We focus on detecting intrusions in ad hoc networks using the misuse detection technique. We allow for detection modules that periodically stop functioning due to operational failu...
D. Subhadrabandhu, S. Sarkar, F. Anjum