3228 search results - page 295 / 646 » Computationally Sound Proofs |
122
click to vote
CANDC
2009
ACM
15 years 2 months ago
2009
ACM
I Seek the Nerves Under Your Skin is a wearable audio performance which uses the intense physical activity of sprinting to alter the state of mind of a person listening to a poem....
149
click to vote
DLOG
2009
15 years 2 months ago
2009
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
145
click to vote
SOFSEM
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...
134
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
128
click to vote
SIGGRAPH
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we describe a set of hardware and software tools for creating musical controllers with any flat surface or simple object, such as tables, walls, metallic plates, wo...