3457 search results - page 130 / 692 » A Symbol Is Not a Symbol |
121
click to vote
FORTE
2004
15 years 2 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
FLAIRS
2006
15 years 2 months ago
2006
Standard MIDI files contain data that can be considered as a symbolic representation of music (a digital score), and most of them are structured as a number of tracks, one of them...
116
Voted
IJCAI
2003
15 years 2 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
101
Voted
SPIESR
1996
15 years 2 months ago
1996
Two approaches for integrating images into the framework of a database management system are presented. The classi cation approach preprocesses all images and attaches a semantic ...
103
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
Many of today's web applications are built on frameworks that include sophisticated defenses against malicious adversaries. However, mistakes in the way developers deploy tho...