Sciweavers

2853 search results - page 153 / 571
» On Coherence in Computer Algebra
Sort
View
ICDT
2001
ACM
162views Database» more  ICDT 2001»
15 years 9 months ago
Algebraic Rewritings for Optimizing Regular Path Queries
Rewriting queries using views is a powerful technique that has applications in query optimization, data integration, data warehousing etc. Query rewriting in relational databases ...
Gösta Grahne, Alex Thomo
FOCS
1992
IEEE
15 years 8 months ago
Reconstructing Algebraic Functions from Mixed Data
We consider a variant of the traditional task of explicitly reconstructing algebraic functions from black box representations. In the traditional setting for such problems, one is ...
Sigal Ar, Richard J. Lipton, Ronitt Rubinfeld, Mad...
FUIN
2006
103views more  FUIN 2006»
15 years 4 months ago
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zh...
EDOC
2006
IEEE
15 years 10 months ago
Workshop on ODP for Enterprise Computing (WODPEC 2006)
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
João Paulo A. Almeida, Peter F. Linington, ...
ICRA
2005
IEEE
120views Robotics» more  ICRA 2005»
15 years 10 months ago
Fast Computation of Robot-Obstacle Interactions in Nonholonomic Trajectory Deformation
Abstract— This paper deals with the optimization of RobotObstacle interaction computations, in the context of nonholonomic trajectory deformation for mobile robots. We first rec...
Olivier Lefebvre, Florent Lamiraux, David Bonnafou...