Sciweavers

3771 search results - page 689 / 755
» Subobject Transformation Systems
Sort
View
110
Voted
ISORC
2009
IEEE
15 years 9 months ago
Component Based Middleware-Synthesis for AUTOSAR Basic Software
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...
Dietmar Schreiner, Markus Schordan, Karl M. Gö...
135
Voted
TABLEAUX
2009
Springer
15 years 9 months ago
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference
We consider two sequent calculi for tense logic in which the syntactic judgements are nested sequents, i.e., a tree of traditional onesided sequents built from multisets of formula...
Rajeev Goré, Linda Postniece, Alwen Tiu
SIGIR
2009
ACM
15 years 9 months ago
Combining LVCSR and vocabulary-independent ranked utterance retrieval for robust speech search
Well tuned Large-Vocabulary Continuous Speech Recognition (LVCSR) has been shown to generally be more effective than vocabulary-independent techniques for ranked retrieval of spo...
J. Scott Olsson, Douglas W. Oard
ICASSP
2008
IEEE
15 years 8 months ago
Filter bank design based on minimization of individual aliasing terms for minimum mutual information subband adaptive beamformin
This paper presents new filter bank design methods for subband adaptive beamforming. In this work, we design analysis and synthesis prototypes for modulated filter banks so as t...
Ken'ichi Kumatani, John W. McDonough, S. Schachl, ...
145
Voted
ICC
2008
IEEE
183views Communications» more  ICC 2008»
15 years 8 months ago
An Autonomic Service Delivery Platform for Service-Oriented Network Environments
CALLAWAY, ROBERT DAVID. An Autonomic Service Delivery Platform for Service-Oriented Network Environments. (Under the direction of Michael Devetsikiotis and Yannis Viniotis.) Servi...
Robert D. Callaway, Michael Devetsikiotis, Yannis ...