Sciweavers

2542 search results - page 207 / 509
» integration 2010
Sort
View
TSMC
2010
15 years 9 days ago
Distributed Explicit Rate Schemes in Multi-Input-Multi-Output Network Systems
Abstract--With the ever-increasing wireless/wired data applications recently, considerable efforts have focused on the design of distributed explicit rate flow control schemes for ...
Naixue Xiong, Athanasios V. Vasilakos, Laurence Ti...
ICASSP
2011
IEEE
14 years 9 months ago
A novel decision function and the associated decision-feedback learning for speech translation
In this paper we report our recent development of an end-to-end integrative design methodology for speech translation. Specifically, a novel decision function is proposed based o...
Yaodong Zhang, Li Deng, Xiaodong He, Alex Acero
KR
2010
Springer
15 years 10 months ago
Finding Explanations of Inconsistency in Multi-Context Systems
We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsi...
Thomas Eiter, Michael Fink, Peter Schüller, A...
137
Voted
CAV
2010
Springer
223views Hardware» more  CAV 2010»
15 years 9 months ago
RATSY - A New Requirements Analysis Tool with Synthesis
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
Roderick Bloem, Alessandro Cimatti, Karin Greimel,...
JOLLI
2010
107views more  JOLLI 2010»
15 years 4 months ago
PGF: A Portable Run-time Format for Type-theoretical Grammars
Abstract PGF (Portable Grammar Format) is a low-level language used as a target of compiling grammars written in GF (Grammatical Framework). Low-level and simple, PGF is easy to re...
Krasimir Angelov, Björn Bringert, Aarne Ranta