Sciweavers

5639 search results - page 590 / 1128
» Timed Abstract Non-interference
Sort
View
ICRA
1995
IEEE
125views Robotics» more  ICRA 1995»
15 years 10 months ago
Inductive Generation of Diagnostic Knowledge for Autonomous Assembly
A generic architecture for evolutive supervision of robotized assembly tasks is presented. This architecture , at different levels of abstraction, functions for dispatching action...
Luís Seabra Lopes, Luis M. Camarinha-Matos
ICSC
1995
Springer
15 years 10 months ago
Fast Resampling Using Vector Quantization
Abstract. We present a fast resampling scheme using vector quantization. Our method di ers from prior work applying vector quantization to speeding up image and volume processing i...
Patrick C. Teo, Chase D. Garfinkle
ISSAC
1995
Springer
174views Mathematics» more  ISSAC 1995»
15 years 10 months ago
Numerical Uniformization of Hyperelliptic Curves
Abstract. In this paper we derive an algorithm that computes, for a given algebraic hyperelliptic plane curve C of genus p, p > 1, defined by a polynomial y2 = (x−λ1) · · ...
Klaus-Dieter Semmler, Mika Seppälä
SC
1995
ACM
15 years 10 months ago
I/O Limitations in Parallel Molecular Dynamics
Abstract We discuss data production rates and their impact on the performance of scientific applications using parallel computers. On one hand, too high rates of data production c...
Terry W. Clark, L. Ridgway Scott, Stanislaw Wloked...
SIGGRAPH
1987
ACM
15 years 10 months ago
Elastically deformable models
Abstract: The theory of elasticity describes deformable materials such as rubber, cloth, paper, and flexible metals. We employ elasticity theory to construct differential equations...
Demetri Terzopoulos, John C. Platt, Alan H. Barr, ...