3001 search results - page 120 / 601 » Recursive type generativity |
152
click to vote
SIGSOFT
2009
ACM
16 years 26 days ago
2009
ACM
An objective of unit testing is to achieve high structural coverage of the code under test. Achieving high structural coverage of object-oriented code requires desirable method-ca...
174
click to vote
COCOA
2008
Springer
15 years 7 months ago
2008
Springer
Solution symmetries in integer linear programs often yield long Branch-and-Bound based solution processes. We propose a method for finding elements of the permutation group of sol...
139
click to vote
ADBIS
2001
Springer
15 years 9 months ago
2001
Springer
In this paper, the most appropriate buffer structure, page replacement policy and buffering scheme for closest pairs queries, where both spatial datasets are stored in R-trees, are...
145
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
Global and local adaptive thresholding techniques have been shown effective on particular types of documents. None produces consistently good results on all types of documents. In...
175
click to vote
CIS
2005
Springer
15 years 11 months ago
2005
Springer
Recently, actor-critic methods have drawn much interests in the area of reinforcement learning, and several algorithms have been studied along the line of the actor-critic strategy...