Sciweavers

1463 search results - page 94 / 293
» The State of the Art in Language Modeling
Sort
View
CDC
2008
IEEE
139views Control Systems» more  CDC 2008»
15 years 8 months ago
Iterative Risk Allocation: A new approach to robust Model Predictive Control with a joint chance constraint
Abstract— This paper proposes a novel two-stage optimization method for robust Model Predictive Control (RMPC) with Gaussian disturbance and state estimation error. Since the dis...
Masahiro Ono, Brian C. Williams
79
Voted
IPPS
1998
IEEE
15 years 6 months ago
Broadcast-Efficient Algorithms on the Coarse-Grain Broadcast Communication Model with Few Channels
The main contribution of this work is to present elegant broadcast-efficientalgorithms for permutation routing, ranking, and sorting n items on the Broadcast Communication Model (...
Koji Nakano, Stephan Olariu, James L. Schwing
DEXAW
2004
IEEE
82views Database» more  DEXAW 2004»
15 years 5 months ago
Supporting Public Software Acquisition Workflows - Implications for Data Models
Many software acquisition projects are doomed to fail due to a lack of integration of acquisition and development processes on the one hand and, because of shortcomings of classic...
Werner Aigner, Peter Regner, Thomas Wiesinger, Jos...
PAMI
2010
160views more  PAMI 2010»
15 years 4 days ago
In the Eye of the Beholder: A Survey of Models for Eyes and Gaze
—Despite active research and significant progress in the last 30 years, eye detection and tracking remains challenging due to the individuality of eyes, occlusion, variability in...
Dan Witzner Hansen, Qiang Ji
FMSD
2002
107views more  FMSD 2002»
15 years 1 months ago
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...