Sciweavers

2184 search results - page 248 / 437
» Relative Entropy and Statistics
Sort
View
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
15 years 10 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
INFOCOM
2005
IEEE
15 years 10 months ago
Energy optimal control for time varying wireless networks
Abstract— We develop a dynamic control strategy for minimizing energy expenditure in a time varying wireless network with adaptive transmission rates. The algorithm operates with...
Michael J. Neely
ISSRE
2005
IEEE
15 years 10 months ago
An Experimental Evaluation on Reliability Features of N-Version Programming
Although N-version programming has been employed in some mission-critical applications, the reliability and fault correlation issues remain a debatable topic in the research commu...
Xia Cai, Michael R. Lyu, Mladen A. Vouk
DEXA
2005
Springer
93views Database» more  DEXA 2005»
15 years 10 months ago
Provable Data Privacy
In relational database systems a combination of privileges and views is employed to limit a user’s access and to hide non-public data. The data privacy problem is to decide wheth...
Kilian Stoffel, Thomas Studer
IJCNLP
2005
Springer
15 years 10 months ago
French-English Terminology Extraction from Comparable Corpora
This article presents a method of extracting bilingual lexica composed of single-word terms (SWTs) and multi-word terms (MWTs) from comparable corpora of a technical domain. First,...
Béatrice Daille, Emmanuel Morin