3909 search results - page 376 / 782 » Extreme Model Checking |
152
click to vote
IJCAI
1989
15 years 5 months ago
1989
This paper presents methods of default reasoning which allow us to draw negative conclusions that are not available in some of the models for inheritance reasoning. Some of these ...
150
click to vote
TELSYS
2002
15 years 4 months ago
2002
We consider a Markovian multiserver queueing model with time dependent parameters where waiting customers may abandon and subsequently retry. We provide simple fluid and diffusion ...
155
click to vote
IPMU
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The naive credal classifier (NCC) extends naive Bayes classifier (NBC) to imprecise probabilities to robustly deal with the specification of the prior; NCC models a state...
142
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper we propose and evaluate an algorithm that learns a similarity measure for comparing never seen objects. The measure is learned from pairs of training images labeled ...
124
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
The use of airbags into automobiles has significantly improved the safety of the occupants. Unfortunately, when airbags are deployed in the case of a crash, they can also cause fa...