Sciweavers

CORR
2007
Springer
93views Education» more  CORR 2007»
13 years 7 months ago
Type-IV DCT, DST, and MDCT algorithms with reduced numbers of arithmetic operations
We present algorithms for the type-IV discrete cosine transform (DCT-IV) and discrete sine transform (DST-IV), as well as for the modified discrete cosine transform (MDCT) and it...
Xuancheng Shao, Steven G. Johnson
CORR
2007
Springer
83views Education» more  CORR 2007»
13 years 7 months ago
Sensitivity Analysis of the Orthoglide, a 3-DOF Translational Parallel Kinematic Machine
This paper presents a sensitivity analysis of the Orthoglide, a 3-DOF translational Parallel Kinematic Machine. Two complementary methods are developed to analyze its sensitivity ...
Stéphane Caro, Philippe Wenger, Fouad Benni...
CORR
2007
Springer
110views Education» more  CORR 2007»
13 years 7 months ago
Graph Annotations in Modeling Complex Network Topologies
abstract such additional information as network annotations. We introduce a network topology modeling framework that treats annotations as an extended correlation profile of a net...
Xenofontas A. Dimitropoulos, Dmitri V. Krioukov, A...
CORR
2007
Springer
56views Education» more  CORR 2007»
13 years 7 months ago
Design Strategies for the Geometric Synthesis of Orthoglide-type Mechanisms
Anatoly Pashkevich, Philippe Wenger, Damien Chabla...
CORR
2007
Springer
128views Education» more  CORR 2007»
13 years 7 months ago
Verified Real Number Calculations: A Library for Interval Arithmetic
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...
Marc Daumas, David Lester, César Muñ...
CORR
2007
Springer
105views Education» more  CORR 2007»
13 years 7 months ago
Relative-Error CUR Matrix Decompositions
Many data analysis applications deal with large matrices and involve approximating the matrix using a small number of “components.” Typically, these components are linear combi...
Petros Drineas, Michael W. Mahoney, S. Muthukrishn...
CORR
2007
Springer
103views Education» more  CORR 2007»
13 years 7 months ago
HORPO with Computability Closure : A Reconstruction
This paper provides a new, decidable definition of the higher-order recursive path ordering in which type comparisons are made only when needed, therefore eliminating the need for...
Frédéric Blanqui, Jean-Pierre Jouann...
CORR
2007
Springer
128views Education» more  CORR 2007»
13 years 7 months ago
Ambient Multimodality: an Asset for Developing Universal Access to the Information Society
Our aim is to point out the benefits that can be derived from research advances in the implementation of concepts such as ambient intelligence and ubiquitous/pervasive computing f...
Noelle Carbonell
CORR
2007
Springer
160views Education» more  CORR 2007»
13 years 7 months ago
How really effective are Multimodal Hints in enhancing Visual Target Spotting? Some evidence from a usability study
The main aim of the work presented here is to contribute to computer science advances in the multimodal usability area, in-as-much as it addresses one of the major issues relating...
Suzanne Kieffer, Noelle Carbonell
CORR
2007
Springer
109views Education» more  CORR 2007»
13 years 7 months ago
On the Outage Capacity of a Practical Decoder Accounting for Channel Estimation Inaccuracies
—The optimal decoder achieving the outage capacity under imperfect channel estimation is investigated. First, by searching into the family of nearest neighbor decoders, which can...
Pablo Piantanida, Sajad Sadough, Pierre Duhamel