3228 search results - page 477 / 646 » Computationally Sound Proofs |
126
Voted
ISER
2004
Springer
15 years 8 months ago
2004
Springer
A virtual fence is created by applying an aversive stimulus to an animal when it approaches a predefined boundary. It is implemented by a small animal-borne computer system with a...
136
click to vote
NIME
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes the design of an Electronic Sitar controller, a digitally modified version of Saraswati’s (the Hindu Goddess of Music) 19-stringed, pumpkin shelled, traditi...
109
click to vote
NIME
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes an approach for playing expressive music, as it refers to a pianist's expressiveness, with a tapping-style interface. MIDI-formatted expressive performan...
118
click to vote
RAID
2004
Springer
15 years 8 months ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
120
click to vote
VLDB
2004
ACM
15 years 8 months ago
2004
ACM
We consider the problem of data sharing between autonomous data sources in an environment where constraints cannot be placed on the shared contents of sources. Our solutions rely ...