6704 search results - page 1114 / 1341 » Testing Scenario-Based Models |
163
click to vote
FOCS
2005
IEEE
16 years 4 days 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...
167
click to vote
HICSS
2005
IEEE
16 years 4 days 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...
188
click to vote
IAT
2005
IEEE
16 years 4 days 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 ...
158
click to vote
ICCV
2005
IEEE
16 years 4 days 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...
174
click to vote
ICCV
2005
IEEE
16 years 4 days 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...