8132 search results - page 223 / 1627 » Dependability, Abstraction, and Programming |
210
click to vote
LANMR
2004
15 years 8 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
166
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...
142
click to vote
PARCO
2007
15 years 8 months ago
2007
executions in terms of Eden’s abstract units of computation instead of providing a machineoriented low level view like common tools for parallelism analysis do. We show how typic...
150
click to vote
WSC
2007
15 years 9 months ago
2007
Copulas are used in finance and insurance for modeling stochastic dependency. They comprehend the entire dependence structure, not only the correlations. Here they are estimated ...
211
click to vote
ACL
1996
15 years 8 months ago
1996
We present a language model consisting of a collection of costed bidirectional finite state automata associated with the head words of phrases. The model is suitable for increment...