Sciweavers

399 search results - page 36 / 80
» Scene Modeling Based on Constraint System Decomposition Tech...
Sort
View
ICASSP
2009
IEEE
15 years 6 months ago
Two microphone based direction of arrival estimation for multiple speech sources using spectral properties of speech
A two microphone direction of arrival (DOA) estimation technique for multiple speech sources is developed which exploits speech specific properties, namely sparsity in time-frequ...
Wenyi Zhang, Bhaskar D. Rao
ECAI
2008
Springer
15 years 1 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...
COOPIS
2003
IEEE
15 years 5 months ago
Ontology Based Query Processing in Database Management Systems
The use of semantic knowledge in its various forms has become an important aspect in managing data in database and information systems. In the form of integrity constraints, it ha...
Chokri Ben Necib, Johann Christoph Freytag
SIGSOFT
2007
ACM
16 years 15 days ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
15 years 6 months ago
Monitoring of a Class of Timed Discrete Events Systems
— This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicat...
Adib Allahham, Hassane Alla