Sciweavers

887 search results - page 157 / 178
» Representing Systems with Hidden State
Sort
View
JPDC
2011
129views more  JPDC 2011»
14 years 8 months ago
Static timing analysis for modeling QoS in networks-on-chip
Networks-on-chip (NoCs) are used in a growing number of SoCs and multi-core processors. Because messages compete for the NoC’s shared resources, quality of service and resource ...
Evgeni Krimer, Isaac Keslassy, Avinoam Kolodny, Is...
114
Voted
ICASSP
2011
IEEE
14 years 5 months ago
Estimation of cortical connectivity from E/MEG using nonlinear state-space models
We present the problem of estimating cortical connectivity between different regions of the cortex from scalp electroencephalographic (EEG) or magnetoencephalographic (MEG) data a...
Bing Leung, Patrick Cheung, Barry D. Van Veen
157
Voted
ESOP
2012
Springer
13 years 9 months ago
Multiparty Session Types Meet Communicating Automata
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
Pierre-Malo Deniélou, Nobuko Yoshida
WACV
2012
IEEE
13 years 9 months ago
Real-time stereo and flow-based video segmentation with superpixels
The use of depth is becoming increasingly popular in real-time computer vision applications. However, when using real-time stereo for depth, the quality of the disparity image is ...
Michael Van den Bergh, Luc J. Van Gool
114
Voted
CCS
2001
ACM
15 years 6 months ago
Practical forward secure group signature schemes
A group signature scheme allows a group member to sign messages anonymously on behalf of the group, while in case of a dispute, a designated entity can reveal the identity of a si...
Dawn Xiaodong Song