912 search results - page 124 / 183 » Abstract Saturation-Based Inference |
113
click to vote
TIP
2008
15 years 2 months ago
2008
Abstract--This paper studies a family of distributions constructed from multivariate gamma distributions to model the statistical properties of multisensor synthetic aperture radar...
126
click to vote
TOCL
2008
15 years 2 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
125
click to vote
ENTCS
2000
15 years 2 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
110
click to vote
JASIS
1998
15 years 2 months ago
1998
This article develops a theoretical framework of distributed representations to explore the representational properties in group problem solving. The basic principle of distribute...
130
click to vote
EUROPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Current multicore computers differ in many hardware aspects. Tuning parallel applications is indispensable to achieve best performance on a particular hardware platform....