8337 search results - page 70 / 1668 » Reasoning With Characteristic Models |
149
click to vote
CVPR
1998
IEEE
16 years 6 months ago
1998
IEEE
We introduce in this paper two probabilistic reasoning models (PRM-1 and PRM-2) which combine the Principal Component Analysis (PCA) technique and the Bayes classifier and show th...
137
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
147
click to vote
ICYCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Most of modern systems for information retrieval, fusion and management have to deal more and more with information expressed quatitatively (by linguistic labels) since human repo...
174
click to vote
SUM
2010
Springer
15 years 2 months ago
2010
Springer
CCTV and sensor based surveillance systems are part of our daily lives now in this modern society due to the advances in telecommunications technology and the demand for better sec...
128
click to vote
ICTAI
2008
IEEE
15 years 10 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...