Sciweavers

8067 search results - page 606 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
CSDA
2006
94views more  CSDA 2006»
15 years 7 months ago
Signal extraction for simulated games with a large number of players
A signal extraction problem in simulated games is studied. A modelling technique is proposed for deriving beliefs for players in simulated games. Since standard Bayesian games pro...
Aki Lehtinen
ENGL
2007
109views more  ENGL 2007»
15 years 7 months ago
Fuzzy Measures Acquisition Methods
- Fuzzy measures are monotonic set functions used for modelling strength of coalition of criteria in multicriteria decision-making. However, the practical application of fuzzy meas...
Amol Wagholikar, Peter Deer
TSMC
2008
113views more  TSMC 2008»
15 years 7 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
ACCV
2010
Springer
15 years 2 months ago
A Heuristic Deformable Pedestrian Detection Method
Pedestrian detection is an important application in computer vision. Currently, most pedestrian detection methods focus on learning one or multiple fixed models. These algorithms r...
Yongzhen Huang, Kaiqi Huang, Tieniu Tan
TOPNOC
2010
15 years 1 months ago
Search-Order Independent State Caching
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...
Sami Evangelista, Lars Michael Kristensen