Sciweavers

304 search results - page 16 / 61
» A Multi-Context System Computing Modalities
Sort
View
DAC
2000
ACM
14 years 8 months ago
Synthesis and optimization of coordination controllers for distributed embedded systems
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
Pai H. Chou, Gaetano Borriello
ATVA
2008
Springer
131views Hardware» more  ATVA 2008»
13 years 9 months ago
Computation Tree Regular Logic for Genetic Regulatory Networks
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, H...
EICS
2010
ACM
14 years 3 days ago
COMM notation for specifying collaborative and multimodal interactive systems
Multi-user multimodal interactive systems involve multiple users that can use multiple interaction modalities. Although multi-user multimodal systems are becoming more prevalent (...
Frédéric Jourde, Yann Laurillau, Lau...
CVPR
2012
IEEE
11 years 10 months ago
Example-based cross-modal denoising
Widespread current cameras are part of multisensory systems with an integrated computer (smartphones). Computer vision thus starts evolving to cross-modal sensing, where vision an...
Dana Segev, Yoav Y. Schechner, Michael Elad
ICMI
2009
Springer
146views Biometrics» more  ICMI 2009»
14 years 2 months ago
Learning from preferences and selected multimodal features of players
The influence of multimodal sources of input data to the construction of accurate computational models of user preferences is investigated in this paper. The case study presented...
Georgios N. Yannakakis