Sciweavers

6960 search results - page 475 / 1392
» Continuity Analysis of Programs
Sort
View
IJCNN
2000
IEEE
15 years 10 months ago
Metrics that Learn Relevance
We introduce an algorithm for learning a local metric to a continuous input space that measures distances in terms of relevance to the processing task. The relevance is defined a...
Samuel Kaski, Janne Sinkkonen
BMCV
2000
Springer
15 years 10 months ago
Pose-Independent Object Representation by 2-D Views
We here describe a view-based system for the pose-independent representation of objects without making reference to 3-D models. Input to the system is a collection of pictures cov...
Jan Wieghardt, Christoph von der Malsburg
VISUALIZATION
1998
IEEE
15 years 10 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
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 10 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
APSEC
2004
IEEE
15 years 10 months ago
Monitored Software Components - A Novel Software Engineering Approach
We propose monitoring of software components, and use of monitored software components, as a general approach for engineering of embedded computer systems. In our approach, a comp...
Daniel Sundmark, Anders Möller, Mikael Nolin