Sciweavers

2835 search results - page 432 / 567
» Automatic Question Answering
Sort
View
SIAMCOMP
2000
88views more  SIAMCOMP 2000»
15 years 6 months ago
Gadgets, Approximation, and Linear Programming
We present a linear programming-based method for nding \gadgets", i.e., combinatorial structures reducing constraints of one optimization problem to constraints of another. A...
Luca Trevisan, Gregory B. Sorkin, Madhu Sudan, Dav...
INTR
2007
90views more  INTR 2007»
15 years 6 months ago
Classification and synthesis of quality approaches in e-government services
ed abstract Purpose: The purpose of this paper is to present a multi-faceted summary and classification of the existing literature in the field of quality of service for egovernmen...
Christos Halaris, Babis Magoutas, Xenia Papadomich...
INTEGRATION
2002
57views more  INTEGRATION 2002»
15 years 6 months ago
To Booth or not to Booth
Booth Recoding is a commonly used technique to recode one of the operands in binary multiplication. In this way the implementation of a multipliers' adder tree can be improve...
Wolfgang J. Paul, Peter-Michael Seidel
IGPL
1998
97views more  IGPL 1998»
15 years 6 months ago
Towards Structurally-Free Theorem Proving
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
Marcelo Finger
JHSN
2002
119views more  JHSN 2002»
15 years 6 months ago
On the efficacy of quality, frame rate, and buffer management for video streaming across best-effort networks
In this paper, we propose a mechanism that supports the high quality streaming and adaptation of stored, constant-quality video across best-effort networks. The difficulty in the d...
Wu-chi Feng