Sciweavers

1220 search results - page 107 / 244
» Minimal Interval Completions
Sort
View
ICANN
2005
Springer
14 years 2 months ago
Interpolation Mechanism of Functional Networks
In this paper, the interpolation mechanism of functional networks is discussed. A kind of fourlayer (with 1 input and 1 output unit) and a five-layer (with double input and single...
Yong-Quan Zhou, Licheng Jiao
EVOW
2004
Springer
14 years 2 months ago
A Scenario-Based Approach to Protocol Design Using Evolutionary Techniques
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...
Sérgio G. Araújo, Antônio C. M...
ACSD
2003
IEEE
95views Hardware» more  ACSD 2003»
14 years 2 months ago
Quasi-Static Scheduling for Concurrent Architectures
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno...
CAEPIA
2003
Springer
14 years 2 months ago
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude ...
Alfredo Burrieza, Manuel Ojeda-Aciego
WEBI
2001
Springer
14 years 1 months ago
On Axiomatizing Probabilistic Conditional Independencies in Bayesian Networks
Several researchers have suggested that Bayesian networks (BNs) should be used to manage the inherent uncertainty in information retrieval. However, it has been argued that manuall...
Cory J. Butz