519 search results - page 16 / 104 » Comparing Instance Generation Methods for Automated Reasonin... |
GIS
2002
ACM
13 years 7 months ago
2002
ACM
The cartographic labeling problem is the problem of placing text on a map. This includes the positioning of the labels, and determining the shape in the case of line and area feat...
IJCAI
1989
13 years 8 months ago
1989
Intelligent reasoners sometimes draw conclusions that lack new or relevant information. Similarly, automated reasoning systems can produce formulas that are not necessary for the ...
GECCO
2010
Springer
14 years 15 days ago
2010
Springer
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...
WSC
2000
13 years 9 months ago
2000
Circumstance Descriptors are offered as a way to organize spatial and other military knowledge that may be difficult to formulate, particularly the kinds of details that are most ...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper we analyze the operation of two scheduling algorithms, Class Based Queuing (CBQ) and Delay Bounded Hybrid Proportional Delay (DBHPD). We compare results obtained ...