Sciweavers

1277 search results - page 185 / 256
» Terminating Decision Algorithms Optimally
Sort
View
146
Voted
SPIN
2010
Springer
15 years 2 months ago
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio,...
84
Voted
AISS
2010
155views more  AISS 2010»
15 years 1 months ago
An Adaptive HW/SW Dual Communication Mode
HW/SW communication mode makes significant impact on HW/SW communication efficiency. Based on the characteristics of the hardware functions, this paper presents an adaptive HW/SW ...
Wang-xian Yang, Dong-hua Liu, Ding-ju Zhu
170
Voted
IOR
2011
175views more  IOR 2011»
14 years 10 months ago
Clique Relaxations in Social Network Analysis: The Maximum k-Plex Problem
This paper introduces and studies the maximum k-plex problem, which arises in social network analysis and has wider applicability in several important areas employing graph-based ...
Balabhaskar Balasundaram, Sergiy Butenko, Illya V....
348
Voted
ICDE
2008
IEEE
2751views Database» more  ICDE 2008»
17 years 3 months ago
Skyline Query Processing for Incomplete Data
Recently, there has been much interest in processing skyline queries for various applications that include decision making, personalized services, and search pruning. Skyline queri...
Justin J. Levandoski, Mohamed E. Khalefa, Mohamed ...
97
Voted
ECML
2001
Springer
15 years 8 months ago
Comparing the Bayes and Typicalness Frameworks
When correct priors are known, Bayesian algorithms give optimal decisions, and accurate confidence values for predictions can be obtained. If the prior is incorrect however, these...
Thomas Melluish, Craig Saunders, Ilia Nouretdinov,...