Sciweavers

10790 search results - page 1863 / 2158
» Using feature models to automate model transformations
Sort
View
DSN
2006
IEEE
16 years 18 days ago
Assessment of the Effect of Memory Page Retirement on System RAS Against Hardware Faults
The Solaris 10 Operating System includes a number of new features for predictive self-healing. One such feature is the ability of the Fault Management software to diagnose memory ...
Dong Tang, Peter Carruthers, Zuheir Totari, Michae...
FGR
2006
IEEE
135views Biometrics» more  FGR 2006»
16 years 18 days ago
Adding Holistic Dimensions to a Facial Composite System
Facial composites are typically constructed by witnesses to crime by describing a suspect's face and then selecting facial features from a kit of parts. Unfortunately, when p...
Charlie D. Frowd, Vicki Bruce, Alex H. McIntyre, P...
SI3D
2006
ACM
16 years 15 days ago
ShowMotion: camera motion based 3D design review
We describe a new interactive system for 3D design review, built to exploit the visual perception cue of motion parallax, in order to enhance shape perception and aesthetic evalua...
Nicholas Burtnyk, Azam Khan, George W. Fitzmaurice...
ISMIR
2005
Springer
185views Music» more  ISMIR 2005»
16 years 1 days ago
A Benchmark Dataset for Audio Classification and Clustering
We present a freely available benchmark dataset for audio classification and clustering. This dataset consists of 10 seconds samples of 1886 songs obtained from the Garageband si...
Helge Homburg, Ingo Mierswa, Bülent Möll...
APN
2010
Springer
15 years 11 months ago
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
Thomas Chatain, Eric Fabre
« Prev « First page 1863 / 2158 Last » Next »