Sciweavers

9325 search results - page 372 / 1865
» The decentralized implementability problem
Sort
View
AI
2000
Springer
15 years 9 months ago
On the Integration of Recursive ALN-Theories
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...
Aida Vitória, Margarida Mamede
104
Voted
ISSAC
1999
Springer
86views Mathematics» more  ISSAC 1999»
15 years 9 months ago
How Fast Can We Compute Products?
In this paper we consider the problem of fast computation of n-ary products, for large n, over arbitrary precision integer or rational number domains. The combination of loop unro...
V. Kislenkov, V. Mitrofanov, Eugene V. Zima
ICPP
1993
IEEE
15 years 9 months ago
Parallel Computation of the Singular Value Decomposition on Tree Architectures
We describe three new Jacobi orderings for parallel computation of SVD problems on tree architectures. The rst ordering uses the high bandwidth of a perfect binary fat-tree to min...
Bing Bing Zhou, Richard P. Brent
ICCAD
1994
IEEE
87views Hardware» more  ICCAD 1994»
15 years 9 months ago
On testing delay faults in macro-based combinational circuits
We consider the problem of testing for delay faults in macrobased circuits. Macro-based circuits are obtained as a result of technology mapping. Gate-level fault models cannot be ...
Irith Pomeranz, Sudhakar M. Reddy
ICRA
1993
IEEE
97views Robotics» more  ICRA 1993»
15 years 9 months ago
Task Space Velocity Blending for Real-Time Trajectory Generation
This paper presents a new velocity blending approach to the problem of task space trajectory generation. To compare this technique with others, a generalized formulation for task ...
Richard Volpe