Sciweavers

1302 search results - page 149 / 261
» Soundness in the Public-Key Model
Sort
View
PODS
2007
ACM
109views Database» more  PODS 2007»
16 years 6 months ago
What is "next" in event processing?
Event processing systems have wide applications ranging from managing events from RFID readers to monitoring RSS feeds. Consequently, there exists much work on them in the literat...
Walker M. White, Mirek Riedewald, Johannes Gehrke,...
SLE
2009
Springer
16 years 29 days ago
Ontological Metamodeling with Explicit Instantiation
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
Alfons Laarman, Ivan Kurtev
IROS
2009
IEEE
172views Robotics» more  IROS 2009»
16 years 1 months ago
Incremental polyphonic audio to score alignment using beat tracking for singer robots
— We aim at developing a singer robot capable of listening to music with its own “ears” and interacting with a human’s musical performance. Such a singer robot requires at ...
Takuma Otsuka, Toru Takahashi, Hiroshi G. Okuno, K...
CSFW
2006
IEEE
16 years 14 days ago
Decentralized Robustness
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
Stephen Chong, Andrew C. Myers
ECAL
2005
Springer
15 years 12 months ago
Cultural and Biological Evolution of Phonemic Speech
This paper investigates the interaction between cultural evolution and biological evolution in the emergence of phonemic coding in speech. It is observed that our nearest relatives...
Bart de Boer