1963 search results - page 110 / 393 » Applications of Preferences using Answer Set Programming |
134
click to vote
IJCSA
2007
15 years 3 months ago
2007
This article presents experiences in the automation of a testing process. The main goal is the unified testing of not only one program, but a whole family of programs. The family ...
133
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
The accurate quantification of proteins is important in several areas of cell biology, biotechnology and medicine. Both relative and absolute quantification of proteins is often d...
121
click to vote
MICRO
2010
IEEE
15 years 1 months ago
2010
IEEE
Accelerating program performance via SIMD vector units is very common in modern processors, as evidenced by the use of SSE, MMX, VSE, and VSX SIMD instructions in multimedia, scien...
116
click to vote
PRICAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
119
click to vote
LPNMR
1999
Springer
15 years 7 months ago
1999
Springer
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...