Sciweavers

2014 search results - page 375 / 403
» Intelligent Transportation System (ITS)
Sort
View
TSE
2010
123views more  TSE 2010»
13 years 2 months ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue
ICASSP
2011
IEEE
12 years 11 months ago
An evaluation of noise power spectral density estimation algorithms in adverse acoustic environments
Noise power spectral density estimation is an important component of speech enhancement systems due to its considerable effect on the quality and the intelligibility of the enhanc...
Jalal Taghia, Jalil Taghia, Nasser Mohammadiha, Ji...
ICCV
2011
IEEE
12 years 8 months ago
Predicting Occupation via Human Clothing and Contexts
Predicting human occupations in photos has great application potentials in intelligent services and systems. However, using traditional classification methods cannot reliably dis...
Zheng Song, Meng Wang, Xian-Sheng Hua, Shuicheng Y...
AGS
2009
Springer
14 years 2 months ago
Distributed Platform for Large-Scale Agent-Based Simulations
Abstract. We describe a distributed architecture for situated largescale agent-based simulations with predominately local interactions. The approach, implemented in AglobeX Simulat...
David Sislák, Premysl Volf, Michal Jakob, M...
IJCNN
2008
IEEE
14 years 2 months ago
A neural wake-sleep learning architecture for associating robotic facial emotions
—A novel wake-sleep learning architecture for processing a robot’s facial expressions is introduced. According to neuroscience evidence, associative learning of emotional respo...
Chi-Yung Yau, Kevin Burn, Stefan Wermter