Sciweavers

282 search results - page 21 / 57
» Efficient bundle sorting
Sort
View
CADE
1994
Springer
13 years 11 months ago
A Mechanization of Strong Kleene Logic for Partial Functions
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
Manfred Kerber, Michael Kohlhase
IVC
2008
145views more  IVC 2008»
13 years 7 months ago
Camera calibration from human motion
This paper presents a method for the self-calibration of non-rigid affine structure to a Euclidean co-ordinate frame from only two views by enforcing constraints derived from the ...
Philip A. Tresadern, Ian D. Reid
GLOBECOM
2010
IEEE
13 years 5 months ago
Large File Transfers from Space Using Multiple Ground Terminals and Delay-Tolerant Networking
We use Delay-Tolerant Networking (DTN) to break control loops between space-ground communication links and ground-ground communication links to increase overall file delivery effic...
William D. Ivancic, Phillip Paulsen, Dave Stewart,...
TSP
2010
13 years 2 months ago
Adaptive precoding for downstream crosstalk precancelation in DSL systems using sign-error feedback
The performance of many very high bit rate digital subscriber line (VDSL) systems is limited by the effects of crosstalk among the wires in a bundle. For the downstream, a precoder...
Jérôme Louveaux, Alle-Jan van der Vee...
ICDE
2008
IEEE
163views Database» more  ICDE 2008»
14 years 8 months ago
Approximate Joins for Data-Centric XML
In data integration applications, a join matches elements that are common to two data sources. Often, however, elements are represented slightly different in each source, so an app...
Nikolaus Augsten, Michael H. Böhlen, Curtis E...