Sciweavers

1792 search results - page 153 / 359
» e-Participation and Decision Analysis
Sort
View
SODA
2010
ACM
160views Algorithms» more  SODA 2010»
15 years 8 months ago
Solving Simple Stochastic Tail Games
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...
Hugo Gimbert, Florian Horn
PLDI
1997
ACM
15 years 3 months ago
Componential Set-Based Analysis
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
Cormac Flanagan, Matthias Felleisen
70
Voted
STOC
2002
ACM
91views Algorithms» more  STOC 2002»
15 years 11 months ago
New results on monotone dualization and generating hypergraph transversals
This paper considers the problem of dualizing a monotone CNF (equivalently, computing all minimal transversals of a hypergraph), whose associated decision problem is a prominent o...
Thomas Eiter, Georg Gottlob, Kazuhisa Makino
82
Voted
ICCD
2004
IEEE
123views Hardware» more  ICCD 2004»
15 years 8 months ago
Software/Network Co-Simulation of Heterogeneous Industrial Networks Architectures
The work presents a modeling and analysis framework for heterogeneous industrial networks architectures which is based on a tight integration of a network simulator with embedded ...
Franco Fummi, Stefano Martini, Marco Monguzzi, Gio...
86
Voted
CIMCA
2008
IEEE
15 years 5 months ago
Novel Cardiac Risk Factor Stratification Using Neuro-fuzzy Tool
Heart disease continues to be leading cause of morbidity and mortality among adults all over the world. Cardiac risk factor assessment requires a classification system that is rob...
Elahe Yargholi, Saman Parvaneh