Sciweavers

297 search results - page 29 / 60
» Every Sequence Is Decompressible from a Random One
Sort
View
PADL
2012
Springer
13 years 6 months ago
Virtualizing Real-World Objects in FRP
We begin with a functional reactive programming (FRP) model in which every program is viewed as a signal function that converts a stream of input values into a stream of output va...
Daniel Winograd-Cort, Hai Liu, Paul Hudak
SIGECOM
2008
ACM
131views ECommerce» more  SIGECOM 2008»
14 years 11 months ago
Truthful germs are contagious: a local to global characterization of truthfulness
We study the question of how to easily recognize whether a social unction f from an abstract type space to a set of outcomes is truthful, i.e. implementable by a truthful mechanis...
Aaron Archer, Robert Kleinberg
ILP
2005
Springer
15 years 4 months ago
Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
Yi-Dong Shen, Qiang Yang
KDD
2008
ACM
193views Data Mining» more  KDD 2008»
15 years 11 months ago
A family of dissimilarity measures between nodes generalizing both the shortest-path and the commute-time distances
This work introduces a new family of link-based dissimilarity measures between nodes of a weighted directed graph. This measure, called the randomized shortest-path (RSP) dissimil...
Luh Yen, Marco Saerens, Amin Mantrach, Masashi Shi...
ISBI
2002
IEEE
15 years 11 months ago
Cardiac ultrasound motion detection by elastic registration exploiting temporal coherence
We propose a new global registration method for estimating the cardiac displacement field in 2D sequences of ultrasound images of the heart. The basic idea is to select a referenc...
Andrés Santos, Jan Kybic, Manuel Desco, Mar...