Sciweavers

1507 search results - page 239 / 302
» Separating Complexity Classes Using Structural Properties
Sort
View
TASLP
2010
102views more  TASLP 2010»
13 years 9 months ago
Representing Musical Sounds With an Interpolating State Model
—A computationally efficient algorithm is proposed for modeling and representing time-varying musical sounds. The aim is to encode individual sounds and not the statistical prop...
Anssi Klapuri, Tuomas Virtanen
SP
1998
IEEE
106views Security Privacy» more  SP 1998»
14 years 3 months ago
Understanding Java Stack Inspection
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
Dan S. Wallach, Edward W. Felten
LPNMR
1995
Springer
14 years 2 months ago
Skeptical Rational Extensions
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justications are never used together in constructing ...
Artur Mikitiuk, Miroslaw Truszczynski
CSDA
2007
87views more  CSDA 2007»
13 years 10 months ago
Estimation and inference in functional mixed-effects models
Functional mixed-effects models are very useful in analyzing functional data. A general functional mixed-effects model that inherits the flexibility of linear mixed-effects model...
Anestis Antoniadis, Theofanis Sapatinas
TGC
2007
Springer
14 years 4 months ago
A Protocol Compiler for Secure Sessions in ML
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
Ricardo Corin, Pierre-Malo Deniélou