Sciweavers

2096 search results - page 254 / 420
» Structured Parameter Elicitation
Sort
View
168
Voted
FORMATS
2010
Springer
15 years 3 months ago
Diagnosis Using Unfoldings of Parametric Time Petri Nets
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
Bartosz Grabiec, Louis-Marie Traonouez, Claude Jar...
GAMESEC
2010
119views Game Theory» more  GAMESEC 2010»
15 years 3 months ago
Uncertainty in Interdependent Security Games
Abstract. Even the most well-motivated models of information security have application limitations due to the inherent uncertainties involving risk. This paper exemplifies a formal...
Benjamin Johnson, Jens Grossklags, Nicolas Christi...
160
Voted
ICASSP
2010
IEEE
15 years 3 months ago
A sparse component model of source signals and its application to blind source separation
In this paper, we propose a new method of blind source separation (BSS) for music signals. Our method has the following characteristics: 1) the method is a combination of the spar...
Yu Kitano, Hirokazu Kameoka, Yosuke Izumi, Nobutak...
171
Voted
SWAT
2010
Springer
204views Algorithms» more  SWAT 2010»
15 years 2 months ago
Feasible and Accurate Algorithms for Covering Semidefinite Programs
In this paper we describe an algorithm to approximately solve a class of semidefinite programs called covering semidefinite programs. This class includes many semidefinite programs...
Garud Iyengar, David J. Phillips, Clifford Stein
WAW
2010
Springer
312views Algorithms» more  WAW 2010»
15 years 2 months ago
The Geometric Protean Model for On-Line Social Networks
We introduce a new geometric, rank-based model for the link structure of on-line social networks (OSNs). In the geo-protean (GEO-P) model for OSNs nodes are identified with points ...
Anthony Bonato, Jeannette Janssen, Pawel Pralat