5550 search results - page 1057 / 1110 » Different Approaches to Proof Systems |
TCSV
2008
14 years 10 months ago
2008
This paper presents a methodology for analyzing multimodal and multiperspective systems for person surveillance. Using an experimental testbed consisting of two color and two infra...
COMPUTER
2002
14 years 10 months ago
2002
rs use models or abstractions that hide low-level implementation details. Various kinds of representations such as data models, state-transition models, and dataflow models can hel...
CIKM
2010
Springer
14 years 8 months ago
2010
Springer
Recently, the problem of efficiently supporting advanced query operators, such as nearest neighbor or range queries, over multidimensional data in widely distributed environments...
105
click to vote
IPPS
2010
IEEE
14 years 8 months ago
2010
IEEE
In this work we consider the problem of monitoring information streams for anomalies in a scalable and efficient manner. We study the problem in the context of network streams wher...
107
click to vote
ICSOC
2009
Springer
14 years 7 months ago
2009
Springer
Identifying, gathering, and maintaining information on the current, planned, and target states of the architecture of an enterprise is one major challenge of enterprise architectur...