811 search results - page 55 / 163 » Probabilistic Semantics and Program Analysis |
149
click to vote
ASPLOS
2010
ACM
15 years 5 months ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
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 ...
114
Voted
COLING
2002
15 years 2 months ago
2002
We present a comparative evaluation of two data-driven models used in translation selection of English-Korean machine translation. Latent semantic analysis(LSA) and probabilistic ...
142
Voted
ICPP
2006
IEEE
15 years 8 months ago
2006
IEEE
Message passing via MPI is widely used in singleprogram, multiple-data (SPMD) parallel programs. Existing data-flow frameworks do not model the semantics of message-passing SPMD ...
135
Voted
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
The Probabilistic Adaptive Mapping Developmental Genetic Programming (PAM DGP) algorithm that cooperatively coevolves a population of adaptive mappings and associated genotypes is...