Sciweavers

762 search results - page 86 / 153
» Conditionally correct superoptimization
Sort
View
HYBRID
2011
Springer
12 years 9 months ago
Reputation-based networked control with data-corrupting channels
We examine the problem of reliable networked control when the communication channel between the controller and the actuator periodically drops packets and is faulty i.e., corrupts...
Shreyas Sundaram, Jian Chang, Krishna K. Venkatasu...
ICDE
2012
IEEE
205views Database» more  ICDE 2012»
12 years 13 days ago
Optimizing Statistical Information Extraction Programs over Evolving Text
—Statistical information extraction (IE) programs are increasingly used to build real-world IE systems such as Alibaba, CiteSeer, Kylin, and YAGO. Current statistical IE approach...
Fei Chen, Xixuan Feng, Christopher Re, Min Wang
MICCAI
2007
Springer
14 years 11 months ago
Modelling Intravasation of Liquid Distension Media in Surgical Simulators
We simulate the intravasation of liquid distention media into the systemic circulation as it occurs during hysteroscopy and transurethral resection of the prostate. A linear networ...
Stefan Tuchschmid, Michael Bajka, Dominik Szczerba...
SODA
2010
ACM
160views Algorithms» more  SODA 2010»
14 years 7 months ago
Solving Simple Stochastic Tail Games
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...
Hugo Gimbert, Florian Horn
ISM
2008
IEEE
119views Multimedia» more  ISM 2008»
14 years 4 months ago
Evaluation of Error Resilience Mechanisms for 3G Conversational Video
Communication in 3G networks may experience packet losses due to transmission errors on the wireless link(s) which may severely impact the quality of conversational and streaming ...
Jegadish Devadoss, Varun Singh, Jörg Ott, Che...