1113 search results - page 108 / 223 » Counter Systems for Data Logics |
131
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper presents a sensor analysis based fault detection approach (which we call SAFDetection) that is used to monitor tightly-coupled multi-robot team tasks. Our approach a...
180
click to vote
EEF
2000
15 years 8 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...
121
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper extends pre-existing digital divide conceptualizations to further investigate the important issue of mismatches between the ontologies of state-created information syst...
133
Voted
HT
2005
ACM
15 years 10 months ago
2005
ACM
— Spatial hypertext was developed from studies of how humans deal with information overflow particularly in situations where data needed to be interpreted quickly. Intrusion det...
139
Voted
PARMA
2004
15 years 5 months ago
2004
The purpose of this paper is to study the problem of pattern classification as this is presented in the context of data mining. Among the various approaches we focus on the use of ...