4962 search results - page 702 / 993 » Stochastic Model Checking |
133
click to vote
ICCV
1995
IEEE
15 years 6 months ago
1995
IEEE
A new information-theoretic approach is presented for finding the pose of an object in an image. The technique does not require information about the surface properties of the ob...
114
Voted
WSC
2007
15 years 4 months ago
2007
We describe the spatial Agent-Based Computational Laboratory that we have developed to study the pandemic influenza risks of US cities. This research presented a series of interes...
118
click to vote
WSC
2008
15 years 4 months ago
2008
In this study, a single-item two-echelon inventory system where the items can be stored in each of N stocking locations is optimized using simulation. The aim of this study is to ...
142
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
When exploring a game over a large strategy space, it may not be feasible or cost-effective to evaluate the payoff of every relevant strategy profile. For example, determining a p...
138
click to vote
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a methodology for setting up a Decision Support system for User Interface Design (DSUID). We first motivate the role and contributions of DSUID and then demons...