811 search results - page 61 / 163 » Probabilistic Semantics and Program Analysis |
129
Voted
CIVR
2010
Springer
15 years 6 months ago
2010
Springer
Popular image retrieval schemes generally rely only on a single mode, (either low level visual features or embedded text) for searching in multimedia databases. Many popular image...
126
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
136
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Pairwise stochastic context-free grammars (Pair SCFGs) are powerful tools for evolutionary analysis of RNA, including simultaneous RNA sequence alignment and secondary...
164
Voted
UAI
1997
15 years 3 months ago
1997
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. They have been successfully applied in a variety of medium-scale applicati...
120
Voted
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...