9405 search results - page 1287 / 1881 » Computing a Model of Set Theory |
184
click to vote
PODS
1989
ACM
15 years 11 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
198
click to vote
ECCV
2008
Springer
16 years 9 months ago
2008
Springer
Abstract. Affine registration has a long and venerable history in computer vision literature, and extensive work have been done for affine registrations in IR2 and IR3 . In this pa...
204
click to vote
DIGRA
2005
Springer
16 years 19 days ago
2005
Springer
In this essay, I examine differences between individual and social play and, in particular, the differences between individual and social play within digital media forms designed ...
187
click to vote
SPAA
2010
ACM
15 years 12 months ago
2010
ACM
Energy consumption by computer systems has emerged as an important concern. However, the energy consumed in executing an algorithm cannot be inferred from its performance alone: i...
196
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Recently, evolutionary computation has been successfully integrated into statistical learning methods. A Support Vector Machine (SVM) using evolution strategies for its optimizati...