967 search results - page 113 / 194 » Probabilistic Predicative Programming |
166
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
121
Voted
SSDBM
2005
IEEE
15 years 8 months ago
2005
IEEE
Several studies have demonstrated the effectiveness of Haar wavelets in reducing large amounts of data down to compact wavelet synopses that can be used to obtain fast, accurate a...
110
Voted
STACS
2005
Springer
15 years 8 months ago
2005
Springer
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...
129
Voted
INFOCOM
2010
IEEE
15 years 16 days ago
2010
IEEE
In this paper we consider how to efficiently identify tags on the moving conveyor. Considering conditions like the path loss and multi-path effect in realistic settings, we first p...
132
Voted
IBPRIA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents a new approach to the problem of simultaneous location and segmentation of object in images. The main emphasis is done on the information provided by ...