Sciweavers

7961 search results - page 463 / 1593
» Input-Output Model Programs
Sort
View
IFIP
2010
Springer
15 years 1 months ago
Modeling Identity-Related Properties and Their Privacy Strength
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
Meilof Veeningen, Benne de Weger, Nicola Zannone
JMLR
2012
13 years 9 months ago
Hierarchical Latent Dictionaries for Models of Brain Activation
In this work, we propose a hierarchical latent dictionary approach to estimate the timevarying mean and covariance of a process for which we have only limited noisy samples. We fu...
Alona Fyshe, Emily B. Fox, David B. Dunson, Tom M....
IFIP
1992
Springer
15 years 10 months ago
Defining the Dynamic Behaviour of Animated Interfaces
This paper presents Whizz, a system for building animated interactive applications. We describe its musical metaphor, and its underlying model based on streams and events. We anal...
Stéphane Chatty
WSC
1997
15 years 7 months ago
Simulation of a New Product Workcell
As part of an ABB training program, two manufacturing engineers introduced a manufacturing facility to the benefits of modeling and simulation. The project goal was to evaluate a ...
Ron Shady, Gary Spake, F. Bradley Armstrong
POPL
2009
ACM
16 years 7 months ago
The semantics of x86-CC multiprocessor machine code
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
Susmit Sarkar, Peter Sewell, Francesco Zappa Narde...