Sciweavers

561 search results - page 10 / 113
» Inferring better contracts
Sort
View
MANSCI
2010
94views more  MANSCI 2010»
13 years 6 months ago
Contracting for Infrequent Restoration and Recovery of Mission-Critical Systems
Firms that rely on functioning mission-critical equipment for their businesses cannot a¤ord signi…cant operational downtime due to system disruptions. To minimize the impact of...
Sang-Hyun Kim, Morris A. Cohen, Serguei Netessine,...
UAI
1998
13 years 9 months ago
Tractable Inference for Complex Stochastic Processes
The monitoring and control of any dynamic system depends crucially on the ability to reason about its current status and its future trajectory. In the case of a stochastic system,...
Xavier Boyen, Daphne Koller
EMNLP
2007
13 years 9 months ago
LEDIR: An Unsupervised Algorithm for Learning Directionality of Inference Rules
Semantic inference is a core component of many natural language applications. In response, several researchers have developed algorithms for automatically learning inference rules...
Rahul Bhagat, Patrick Pantel, Eduard H. Hovy
RECOSOC
2007
118views Hardware» more  RECOSOC 2007»
13 years 9 months ago
Latch Inference for Equivalence Checking
A method for inferring latches from combinational loops in a netlist using boolean equations is proposed in this paper. The method takes advantage of the solutions structure of th...
Anatol Ursu
SIGECOM
2009
ACM
118views ECommerce» more  SIGECOM 2009»
14 years 2 months ago
Modeling volatility in prediction markets
There is significant experimental evidence that prediction markets are efficient mechanisms for aggregating information and are more accurate in forecasting events than tradition...
Nikolay Archak, Panagiotis G. Ipeirotis