967 search results - page 107 / 194 » Probabilistic Predicative Programming |
233
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...
132
click to vote
EMMCVPR
2005
Springer
15 years 8 months ago
2005
Springer
We present a novel approach to the matching of subgraphs for object recognition in computer vision. Feature similarities between object model and scene graph are complemented with ...
129
click to vote
IFIP
2003
Springer
15 years 8 months ago
2003
Springer
Efficient communication in Bluetooth scatternets requires design of intra and inter-piconet scheduling algorithms, and therefore numerous algorithms have been proposed. However, du...
141
Voted
DAC
2004
ACM
15 years 6 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
108
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...