Sciweavers

239 search results - page 36 / 48
» A Simple Algorithm for Computing the Lempel Ziv Factorizatio...
Sort
View
UAI
1997
13 years 9 months ago
Nonuniform Dynamic Discretization in Hybrid Networks
We consider probabilistic inference in general hybrid networks, which include continuous and discrete variables in an arbitrary topology. We reexamine the question of variable dis...
Alexander V. Kozlov, Daphne Koller
SIGCSE
2009
ACM
130views Education» more  SIGCSE 2009»
14 years 9 months ago
Introducing PyLighter: dynamic code highlighter
Like a screenplay, a program is both a static artifact and instructions for a dynamic performance. This duality can keep laypeople from appreciating the complexity of software sys...
Michael G. Boland, Curtis C. Cliburn
POPL
2007
ACM
14 years 8 months ago
Program verification as probabilistic inference
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
Sumit Gulwani, Nebojsa Jojic
VTC
2007
IEEE
125views Communications» more  VTC 2007»
14 years 2 months ago
Gaussian Pulse Based Tone Reservation for Reducing PAPR of OFDM Signals
Abstract – One of the major drawbacks of OFDM is high Peakto-Average Power Ratio (PAPR) which can result in poor power efficiency and serious distortion in the transmitter amplif...
Carole A. Devlin, Anding Zhu, Thomas J. Brazil
SMA
2009
ACM
134views Solid Modeling» more  SMA 2009»
14 years 2 months ago
Exact Delaunay graph of smooth convex pseudo-circles: general predicates, and implementation for ellipses
We examine the problem of computing exactly the Delaunay graph (and the dual Voronoi diagram) of a set of, possibly intersecting, smooth convex pseudo-circles in the Euclidean pla...
Ioannis Z. Emiris, Elias P. Tsigaridas, George M. ...