Sciweavers

9521 search results - page 414 / 1905
» Compiling with continuations, continued
Sort
View
SSD
1999
Springer
158views Database» more  SSD 1999»
15 years 9 months ago
Capturing the Uncertainty of Moving-Object Representations
Spatiotemporal applications, such as fleet management and air traffic control, involving continuously moving objects are increasingly at the focus of research efforts. The repres...
Dieter Pfoser, Christian S. Jensen
137
Voted
VISUALIZATION
1998
IEEE
15 years 9 months ago
Comparing LIC and spot noise
Spot noise and line integral convolution (LIC) are two texture synthesis techniques for vector field visualization. In this paper the two techniques are compared. Continuous direc...
Wim C. de Leeuw, Robert van Liere
ISSAC
1998
Springer
101views Mathematics» more  ISSAC 1998»
15 years 8 months ago
Efficient Algorithms for Computing the Nearest Polynomial with Constrained Roots
Continuous changes of the coefficients of a polynomial move the roots continuously. We consider the problem finding the minimal perturbations to the coefficients to move a root to...
Markus A. Hitz, Erich Kaltofen
KES
1998
Springer
15 years 8 months ago
Attractor systems and analog computation
Attractor systems are useful in neurodynamics,mainly in the modelingof associative memory. Thispaper presentsa complexity theory for continuous phase space dynamical systems with ...
Hava T. Siegelmann, Shmuel Fishman
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 8 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi