6704 search results - page 1114 / 1341 » Testing Scenario-Based Models |
129
Voted
FOCS
2005
IEEE
15 years 9 months ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
125
Voted
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Substantial financial and technological investments by private and public organizations have resulted in the delivery of the third generation mobile technologies, although the jou...
142
click to vote
IAT
2005
IEEE
15 years 9 months ago
2005
IEEE
Partially observable Markov decision process (POMDP) is commonly used to model a stochastic environment with unobservable states for supporting optimal decision making. Computing ...
125
Voted
ICCV
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract. This paper presents a method to segment the hand over complex backgrounds, such as the face. The similar colors and texture of the hand and face make the problem particul...
128
click to vote
ICCV
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose an algorithm to perform causal inference of the state of a dynamical model when the measurements are corrupted by outliers. While the optimal (maximumlikelihood) soluti...