15754 search results - page 2886 / 3151 » Programs are Knowledge Bases |
270
click to vote
CVIU
2011
14 years 10 months ago
2011
Abstract—In this paper, three approaches to utilizing objectlevel spatial contextual information for semantic image analysis are presented and comparatively evaluated. Contextual...
199
click to vote
DISOPT
2011
14 years 10 months ago
2011
In recent years there has been growing interest in generating valid inequalities for mixedinteger programs using sets with 2 or more constraints. In particular, Andersen et al. (2...
192
click to vote
EUROSYS
2011
ACM
14 years 10 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
351
click to vote
RECOMB
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Haplotypes, as they specify the linkage patterns between dispersed genetic variations, provide important information for understanding the genetics of human traits. Howev...
187
click to vote
AAAI
2011
14 years 7 months ago
2011
We propose a fast batch learning method for linearchain Conditional Random Fields (CRFs) based on Newton-CG methods. Newton-CG methods are a variant of Newton method for high-dime...