Sciweavers

4726 search results - page 687 / 946
» Domain Modeling of Software Process Models
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
An iterative least-squares technique for dereverberation
Some recent dereverberation approaches that have been effective for automatic speech recognition (ASR) applications, model reverberation as a linear convolution operation in the s...
Kshitiz Kumar, Bhiksha Raj, Rita Singh, Richard M....
AAMAS
2004
Springer
15 years 6 months ago
Automated Assistants for Analyzing Team Behaviors
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. The complex interactions of ag...
Ranjit Nair, Milind Tambe, Stacy Marsella, Taylor ...
SPIN
2001
Springer
15 years 11 months ago
Automatically Validating Temporal Safety Properties of Interfaces
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
Thomas Ball, Sriram K. Rajamani
COBUILD
1998
Springer
15 years 11 months ago
The Metaphor of Virtual Rooms in the Cooperative Learning Environment CLear
In the CLear project we develop a cooperative learning system for supporting learning and training processes of co-located and distributed groups. One of the fundamental concepts o...
Hans-Rüdiger Pfister, Christian Schuckmann, J...
ISQED
2008
IEEE
112views Hardware» more  ISQED 2008»
16 years 1 months ago
Robust Analog Design for Automotive Applications by Design Centering with Safe Operating Areas
The effects of random variations during the manufacturing process on devices can be simulated as a variation of transistor parameters. Device degradation, due to temperature or vo...
Udo Sobe, Karl-Heinz Rooch, Andreas Ripp, Michael ...