Sciweavers

601 search results - page 67 / 121
» An Optimality Principle for Concurrent Systems
Sort
View
CSL
2007
Springer
15 years 15 days ago
Partially observable Markov decision processes for spoken dialog systems
In a spoken dialog system, determining which action a machine should take in a given situation is a difficult problem because automatic speech recognition is unreliable and hence ...
Jason D. Williams, Steve Young
143
Voted
WCNC
2010
IEEE
14 years 11 months ago
Switch-And-Stay Transmit Diversity for Cooperative Decode-And-Forward Systems
—We consider the application of switch-and-stay transmit diversity (SSTD) to a three-node cooperative diversity system with decode-and-forward relaying. The basic idea of SSTD ge...
Andreas Müller, Joachim Speidel
CONCUR
1997
Springer
15 years 4 months ago
Modularity for Timed and Hybrid Systems
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
Rajeev Alur, Thomas A. Henzinger
95
Voted
ICMCS
2009
IEEE
219views Multimedia» more  ICMCS 2009»
14 years 10 months ago
Moving targets labeling and correspondence over multi-camera surveillance system based on Markov network
In this paper, we propose an efficient way to simultaneously label and map targets over a multi-camera surveillance system. In the system, we first fuse the detection results from...
Chingchun Huang, Sheng-Jyh Wang
106
Voted
MOBICOM
2006
ACM
15 years 6 months ago
Wide area ocean networks: architecture and system design considerations
Wide area ocean networks for monitoring and scientific exploratory purposes are in various stages of design; smallscale networks are already in various stages of deployment and te...
Sumit Roy, Payman Arabshahi, Dan Rouseff, Warren L...