1302 search results - page 180 / 261 » Soundness in the Public-Key Model |
182
click to vote
ATAL
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
174
click to vote
DIS
2007
Springer
16 years 16 days ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
166
click to vote
ICMCS
2006
IEEE
16 years 12 days ago
2006
IEEE
Most of the current speech transmission systems are only able to deliver speech signals in a narrow frequency band. This narrowband speech is characterized by a thin and muffled ...
160
click to vote
ISPDC
2006
IEEE
16 years 11 days ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
155
click to vote
NORDICHI
2006
ACM
16 years 10 days ago
2006
ACM
The ixi software is an ongoing interdisciplinary research project. It focuses on the creation of screen-based interfaces as digital musical instruments. The notion of situated cog...