Sciweavers

282 search results - page 21 / 57
» Efficient bundle sorting
Sort
View
CADE
1994
Springer
15 years 5 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»
15 years 1 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
14 years 11 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
14 years 8 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»
16 years 2 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...