Sciweavers

443 search results - page 37 / 89
» Partial Probability: Theory and Applications
Sort
View
86
Voted
PODS
2007
ACM
139views Database» more  PODS 2007»
15 years 11 months ago
Management of probabilistic data: foundations and challenges
Many applications today need to manage large data sets with uncertainties. In this paper we describe the foundations of managing data where the uncertainties are quantified as pro...
Nilesh N. Dalvi, Dan Suciu
CDC
2010
IEEE
145views Control Systems» more  CDC 2010»
14 years 6 months ago
Construction of Lyapunov functions for piecewise-deterministic Markov processes
The purpose of this contribution is twofold: 1) to present for the first time a Lyapunov function that proves exponential ergodicity of a process studied by the authors in [1], whe...
Alexandre R. Mesquita, João Pedro Hespanha
KDD
2012
ACM
205views Data Mining» more  KDD 2012»
13 years 1 months ago
From user comments to on-line conversations
We present an analysis of user conversations in on-line social media and their evolution over time. We propose a dynamic model that predicts the growth dynamics and structural pro...
Chunyan Wang, Mao Ye, Bernardo A. Huberman
CIIT
2004
120views Communications» more  CIIT 2004»
15 years 15 days ago
Optimization of active queue management based on proportional control system
This paper shows the design and performance of an AQM (Active Queue Management) enabled router. The design is based on a classical proportional control system. The application of ...
Arne Lie, Ole Morten Aamo, Leif Arne Rønnin...
ASE
2005
140views more  ASE 2005»
14 years 11 months ago
Automated Procedure Construction for Deductive Synthesis
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
Steve Roach, Jeffrey Van Baalen