Sciweavers

4511 search results - page 471 / 903
» Observation Based System Security
Sort
View
199
Voted
EMNLP
2007
15 years 8 months ago
Hierarchical System Combination for Machine Translation
Given multiple translations of the same source sentence, how to combine them to produce a translation that is better than any single system output? We propose a hierarchical syste...
Fei Huang, Kishore Papineni
198
Voted
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
15 years 4 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
180
Voted
SIES
2007
IEEE
16 years 1 months ago
Novel Genome Coding of Genetic Algorithms for the System Partitioning Problem
— The research field of partitioning for electronic systems started to attract significant attention of scientists about fifteen years ago. Gaining ever more importance due to...
Bastian Knerr, Martin Holzer 0002, Markus Rupp
160
Voted
FOSSACS
2005
Springer
16 years 11 days ago
Duality for Logics of Transition Systems
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
Marcello M. Bonsangue, Alexander Kurz
203
Voted
SPRINGSIM
2010
15 years 5 months ago
Using factored bond graphs for distributed diagnosis of physical systems
This paper presents a distributed Bayesian fault diagnosis scheme for physical systems. Our diagnoser design is based on a procedure for factoring the global system bond graph (BG...
Indranil Roychoudhury, Gautam Biswas, Xenofon D. K...