7047 search results - page 1100 / 1410 » Focusing on Binding and Computation |
167
click to vote
SODA
2004
ACM
15 years 8 months ago
2004
ACM
We study the average-case performance of algorithms for the binary knapsack problem. Our focus lies on the analysis of so-called core algorithms, the predominant algorithmic conce...
210
click to vote
IJCAI
2003
15 years 8 months ago
2003
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...
203
click to vote
VISSYM
2004
15 years 8 months ago
2004
In this paper we discuss several techniques to display multiple scalar distributions within an image depicting a 2D flow field. We first address how internal contrast and mean lum...
195
click to vote
WSC
2004
15 years 8 months ago
2004
We investigate factors that impact the effectiveness of caching to speed up discrete event simulation. Walsh and Sirer have shown that a variant of function caching (staged simula...
188
click to vote
WSC
2004
15 years 8 months ago
2004
This paper describes the application of parallel simulation techniques to represent structured functional parallelism present within the Space Shuttle Operations Flow, utilizing t...