Sciweavers

8132 search results - page 120 / 1627
» Dependability, Abstraction, and Programming
Sort
View
EMNLP
2010
15 years 4 months ago
Turbo Parsers: Dependency Parsing by Approximate Variational Inference
We present a unified view of two state-of-theart non-projective dependency parsers, both approximate: the loopy belief propagation parser of Smith and Eisner (2008) and the relaxe...
André F. T. Martins, Noah A. Smith, Eric P....
SAFECOMP
2007
Springer
16 years 16 days ago
Software Encoded Processing: Building Dependable Systems with Commodity Hardware
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...
Ute Wappler, Christof Fetzer
TRANSCI
2010
101views more  TRANSCI 2010»
15 years 4 months ago
Computing Time-Dependent Bid Prices in Network Revenue Management Problems
We propose a new method to compute bid prices in network revenue management problems. The novel aspect of our method is that it naturally provides dynamic bid prices that depend o...
Sumit Kunnumkal, Huseyin Topaloglu
ICRA
2006
IEEE
98views Robotics» more  ICRA 2006»
16 years 14 days ago
Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots
Abstract—Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses s...
Nagarajan Kandasamy, Fadi A. Aloul, Tak-John Koo
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 11 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra