Sciweavers

2423 search results - page 483 / 485
» AnswerArt - Contextualized Question Answering
Sort
View
FMSD
2010
118views more  FMSD 2010»
13 years 8 months ago
On simulation-based probabilistic model checking of mixed-analog circuits
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
Edmund M. Clarke, Alexandre Donzé, Axel Leg...
INFOCOM
2010
IEEE
13 years 8 months ago
Linear Programming Models For Multi-Channel P2P Streaming Systems
Abstract—Most of the commercial P2P video streaming deployments support hundreds of channels and are referred to as multichannel systems. Measurement studies show that bandwidth r...
Miao Wang, Lisong Xu, Byrav Ramamurthy
IOR
2010
84views more  IOR 2010»
13 years 8 months ago
Lumpy Capacity Investment and Disinvestment Dynamics
Capacity addition and withdrawal decisions are among the most important strategic decisions made by …rms in oligopolistic industries. In this paper, we develop and analyze a ful...
David Besanko, Ulrich Doraszelski, Lauren Xiaoyuan...
JKM
2010
260views more  JKM 2010»
13 years 8 months ago
A scientometric analysis of knowledge management and intellectual capital academic literature (1994-2008)
Purpose – The purpose of this study is to conduct a scientometric analysis of the body of literature contained in 11 major knowledge management and intellectual capital (KM/IC) ...
Alexander Serenko, Nick Bontis, Lorne Booker, Khal...
LICS
2010
IEEE
13 years 8 months ago
Polarity and the Logic of Delimited Continuations
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
Noam Zeilberger