Sciweavers

424 search results - page 65 / 85
» How to build valid and credible simulation models
Sort
View
ECMDAFA
2010
Springer
228views Hardware» more  ECMDAFA 2010»
13 years 11 months ago
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
Marouane Kessentini, Arbi Bouchoucha, Houari A. Sa...
MM
2005
ACM
143views Multimedia» more  MM 2005»
14 years 1 months ago
An adaptation framework for new media artworks
In this paper, we are interested in adaptation mechanisms for the design, creation and experimentation of adaptive and interactive new media artworks. Through a concrete case stud...
Anis Ouali, Brigitte Kerhervé, Paul Landon
MICCAI
2010
Springer
13 years 6 months ago
Generalized Sparse Classifiers for Decoding Cognitive States in fMRI
The high dimensionality of functional magnetic resonance imaging (fMRI) data presents major challenges to fMRI pattern classification. Directly applying standard classifiers often ...
Bernard Ng, Arash Vahdat, Ghassan Hamarneh, Rafeef...
ICCV
2011
IEEE
12 years 8 months ago
Unwrapping Low-rank Textures on Generalized Cylindrical Surfaces
In this paper, we show how to reconstruct both 3D shape and 2D texture of a class of surfaces from a single perspective image. We consider the so-called the generalized cylindrica...
Zhengdong Zhang, Xiao Liang, Yi Ma
ISARCS
2010
240views Hardware» more  ISARCS 2010»
13 years 10 months ago
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy