Sciweavers

3259 search results - page 548 / 652
» Modeling Autonomous-System Relationships
Sort
View
ACSD
2001
IEEE
91views Hardware» more  ACSD 2001»
14 years 1 months ago
Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
Marta Pietkiewicz-Koutny
ECAI
2000
Springer
14 years 1 months ago
Learning Efficiently with Neural Networks: A Theoretical Comparison between Structured and Flat Representations
Abstract. We are interested in the relationship between learning efficiency and representation in the case of supervised neural networks for pattern classification trained by conti...
Marco Gori, Paolo Frasconi, Alessandro Sperduti
NAA
2000
Springer
93views Mathematics» more  NAA 2000»
14 years 1 months ago
Estimation of the Wheat Losses Caused by the Tropospheric Ozone in Bulgaria and Denmark
Long-term exposures to high ozone concentrations have harmful effect on the crops and reduce the yield. The exposures are measured in terms of AOT40 (Accumulated exposure Over Thre...
Tzvetan Ostromsky, Ivan Dimov, Ilia Tzvetanov, Zah...
SBIA
2000
Springer
14 years 1 months ago
User profiling with Case-Based Reasoning and Bayesian Networks
Agent technology provides many services to users. The tasks in which agents are involved include information filtering, information retrieval, user's tasks automation, browsin...
Silvia N. Schiaffino, Analía Amandi
ICCAD
1995
IEEE
127views Hardware» more  ICCAD 1995»
14 years 1 months ago
Hybrid decision diagrams
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
Edmund M. Clarke, Masahiro Fujita, Xudong Zhao