4814 search results - page 132 / 963 » Combining abstract interpreters |
198
click to vote
PKDD
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. A new method is proposed for compiling causal independencies into Markov logic networks (MLNs). An MLN can be viewed as compactly representing a factorization of a joint ...
182
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. Multi-attribute negotiation has been extensively studied from a gametheoretic viewpoint. In negotiation settings, utility functions are used to express agent preferences....
145
click to vote
ICITS
2009
15 years 4 months ago
2009
Abstract. The term indistinguishability amplification refers to a setting where a certain construction combines two (or more) cryptographic primitives of the same type to improve t...
313
click to vote
SCIA
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. This paper shows how stereo and Time-of-Flight (ToF) images can be combined to estimate dense depth maps in order to automate plant phenotyping. We focus on some challeng...
191
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. This study presents a novel automatic approach for the identification of anatomical brain structures in magnetic resonance images (MRI). The method combines a fast multis...