Sciweavers

5234 search results - page 659 / 1047
» Method Components - Rationale Revealed
Sort
View
SIGCOMM
2000
ACM
15 years 10 months ago
Trajectory sampling for direct traffic observation
Traffic measurement is a critical component for the control and engineering of communication networks. We argue that traffic measurement should make it possible to obtain the spati...
Nick G. Duffield, Matthias Grossglauser
ISQED
2010
IEEE
123views Hardware» more  ISQED 2010»
15 years 8 months ago
Yield-constrained digital circuit sizing via sequential geometric programming
Circuit design under process variation can be formulated mathematically as a robust optimization problem with a yield constraint. Existing methods force designers to either resort...
Yu Ben, Laurent El Ghaoui, Kameshwar Poolla, Costa...
ICB
2007
Springer
188views Biometrics» more  ICB 2007»
15 years 8 months ago
Color Face Tensor Factorization and Slicing for Illumination-Robust Recognition
In this paper we present a face recognition method based on multiway analysis of color face images, which is robust to varying illumination conditions. Illumination changes cause l...
Yong-Deok Kim, Seungjin Choi
EMSOFT
2008
Springer
15 years 8 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
NIPS
2007
15 years 8 months ago
HM-BiTAM: Bilingual Topic Exploration, Word Alignment, and Translation
We present a novel paradigm for statistical machine translation (SMT), based on a joint modeling of word alignment and the topical aspects underlying bilingual document-pairs, via...
Bing Zhao, Eric P. Xing