7167 search results - page 1276 / 1434 » Answer Set Programming |
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
In this paper we introduce a new technique for estimating the parameters of the Keplerian model commonly used in radial velocity data analysis for extrasolar planet detection. The...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
This paper introduces a novel regularization strategy to address the generalization issues for large-margin classifiers from the Empirical Risk Minimization (ERM) perspective. Fi...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
The recent developments of smart mobile phones and 3G networks enable users to enjoy video programs by subscribing to data plans. Due to phone-to-phone communication technologies ...
CVIU
2011
13 years 24 days ago
2011
Abstract—In this paper, three approaches to utilizing objectlevel spatial contextual information for semantic image analysis are presented and comparatively evaluated. Contextual...
EUROSYS
2011
ACM
13 years 23 days 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 ...