11172 search results - page 319 / 2235 » Testing Physical Systems |
225
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
In recent years, large databases of natural images have
become increasingly popular in the evaluation of face and
object recognition algorithms. However, Pinto et al. previously
...
169
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Analyzing data to find trends, correlations, and stable patterns is an important task in many industrial applications. This paper proposes a new technique based on parallel coordi...
158
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— The paper deals with decentralized Bayesian detection with M hypotheses, and N sensors making conditionally correlated measurements regarding these hypotheses. Each sen...
178
click to vote
BPM
2005
Springer
16 years 7 days ago
2005
Springer
Most information systems log events (e.g., transaction logs, audit trails) to audit and monitor the processes they support. At the same time, many of these processes have been expl...
168
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...