Sciweavers

2577 search results - page 201 / 516
» Multimedia Question Answering
Sort
View
JACM
2006
92views more  JACM 2006»
15 years 6 months ago
The generalized two-server problem
We consider the generalized on-line two-server problem in which at each step each server receives a request, which is a point in a metric space. One of the servers has to be moved ...
René A. Sitters, Leen Stougie
AR
2005
145views more  AR 2005»
15 years 6 months ago
Distinguishability and identifiability testing of contact state models
An important component of compliant motion control is the estimation of contact states during task execution. This paper addresses two fundamental questions that must be answered w...
Thomas Debus, Pierre E. Dupont, Robert D. Howe
JSC
2007
58views more  JSC 2007»
15 years 6 months ago
Are Buchberger's criteria necessary for the chain condition?
Buchberger’s Gr¨obner basis theory plays a fundamental role in symbolic computation. The resulting algorithms essentially carry out several S-polynomial reductions. In his PhD ...
Hoon Hong, John Perry
APAL
2004
87views more  APAL 2004»
15 years 6 months ago
Expressive equivalence of least and inflationary fixed-point logic
We study the relationship between least and inflationary fixed-point logic. In 1986, Gurevich and Shelah proved that in the restriction to finite structures, the two logics have t...
Stephan Kreutzer
JSYML
2002
84views more  JSYML 2002»
15 years 6 months ago
Maximal Contiguous Degrees
A computably enumerable (c.e.) degree is a maximal contiguous degree if it is contiguous and no c.e. degree strictly above it is contiguous. We show that there are infinitely many ...
Peter Cholak, Rodney G. Downey, Stephen Walk