Sciweavers

2440 search results - page 191 / 488
» Data-Intensive Question Answering
Sort
View
JSC
2007
58views more  JSC 2007»
15 years 4 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 4 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 3 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
76
Voted
TIS
1998
62views more  TIS 1998»
15 years 3 months ago
An Ethics For The New Surveillance
The Principles of Fair Information Practice are almost three decades old and need to be broadened to take account of new technologies for collecting personal information such as d...
Gary T. Marx
143
Voted
MOBILIGHT
2010
15 years 2 months ago
Measuring the Closed-Loop Throughput of 2x2 HSDPA over TX Power and TX Antenna Spacing
Abstract. Mobile network operators demand small base station antennas and high physical layer throughputs. In the downlink, high physical layer throughputs can be achieved by explo...
Sebastian Caban, José Antonio García...