12289 search results - page 503 / 2458 » computing 2006 |
156
click to vote
JSC
2006
15 years 6 months ago
2006
We propose an algorithm for computing an exact absolute factorization of a bivariate polynomial from an approximate one. This algorithm is based on some properties of the algebrai...
137
click to vote
JSC
2006
15 years 6 months ago
2006
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...
148
Voted
MT
2006
15 years 6 months ago
2006
We present a study we conducted to build a repository storing associations between simple dependency treelets in a source language and their corresponding phrases in a target lang...
182
click to vote
ORL
2006
15 years 6 months ago
2006
This paper is concerned with information revelation in single-item auctions. We compute how much data needs to be transmitted in three strategically equivalent auctions--the Vickr...
159
click to vote
ORL
2006
15 years 6 months ago
2006
This article introduces a proper redefinition of the concept of bottleneck Steiner distance for the Prize-Collecting Steiner Problem. This allows the application of reduction test...