Sciweavers

1302 search results - page 154 / 261
» Fair Equivalence Relations
Sort
View
CORR
2010
Springer
60views Education» more  CORR 2010»
15 years 3 months ago
Stiffness modelling of parallelogram-based parallel manipulators
Abstract. The paper presents a methodology to enhance the stiffness analysis of parallel manipulators with parallelogram-based linkage. It directly takes into account the influence...
Anatoly Pashkevich, Alexandr Klimchik, Stép...
CORR
2011
Springer
207views Education» more  CORR 2011»
15 years 26 days ago
DB Category: Denotational Semantics for View-based Database Mappings
Abstract. We present a categorical denotational semantics for a database mapping, based on views, in the most general framework of a database integration/exchange. Developed databa...
Zoran Majkic
156
Voted
SIGPRO
2011
209views Hardware» more  SIGPRO 2011»
15 years 24 days ago
Surveying and comparing simultaneous sparse approximation (or group-lasso) algorithms
In this paper, we survey and compare different algorithms that, given an overcomplete dictionary of elementary functions, solve the problem of simultaneous sparse signal approxim...
A. Rakotomamonjy
JAPLL
2010
111views more  JAPLL 2010»
15 years 20 days ago
The complexity of satisfiability for fragments of hybrid logic - Part I
The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments. In this p...
Arne Meier, Martin Mundhenk, Thomas Schneider 0002...
JMIV
2010
106views more  JMIV 2010»
15 years 20 days ago
Parametric Estimation of Affine Transformations: An Exact Linear Solution
Abstract We consider the problem of estimating the geometric deformation of an object, with respect to some reference observation on it. Existing solutions, set in the standard coo...
Rami Hagege, Joseph M. Francos