5409 search results - page 321 / 1082 » Basic Observables for Processes |
177
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper deals with the problem of determining the position and orientation of an autonomous guided vehicle (AGV) by fusing odometry with the information provided by a vision sys...
180
click to vote
CP
1998
Springer
15 years 11 months ago
1998
Springer
In a faulty digital circuit, many (single) faulty gates may explain the observed findings. In this paper we are mostly concerned, not in obtaining alternative diagnoses, but rathe...
192
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Correlating and analyzing security alerts is a critical and challenging task in security management. Recently, some techniques have been proposed for security alert correlation. H...
143
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
152
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...