Sciweavers

3819 search results - page 396 / 764
» Simple Easy Terms
Sort
View
TPLP
2010
135views more  TPLP 2010»
15 years 5 months ago
Formalization of psychological knowledge in answer set programming and its application
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...
Marcello Balduccini, Sara Girotto
DLS
2010
277views Languages» more  DLS 2010»
15 years 4 months ago
Factor: a dynamic stack-based programming language
Factor is a new dynamic object-oriented programming language. It began as an embedded scripting language and evolved to a mature application development language. The language has...
Sviatoslav Pestov, Daniel Ehrenberg, Joe Groff
ICIP
2010
IEEE
15 years 4 months ago
Tone mapping HDR images using optimization: A general framework
This paper presents a novel tone mapping framework. First, we introduce a tone mapping fidelity principle which explicitly stipulates that tone-mapped image data should not only b...
Guoping Qiu, Yujie Mei, Kin Man Lam, Min Qiu
ICMLC
2010
Springer
15 years 4 months ago
Optimization of bagging classifiers based on SBCB algorithm
: Bagging (Bootstrap Aggregating) has been proved to be a useful, effective and simple ensemble learning methodology. In generic bagging methods, all the classifiers which are trai...
Xiao-Dong Zeng, Sam Chao, Fai Wong
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
15 years 4 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth