Sciweavers

316 search results - page 39 / 64
» Metric embedding of view-graphs
Sort
View
ACSD
2005
IEEE
90views Hardware» more  ACSD 2005»
15 years 5 months ago
Extensible and Scalable Time Triggered Scheduling
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...
Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanaja...
ICSM
2005
IEEE
15 years 5 months ago
The Conceptual Cohesion of Classes
While often defined in informal ways, software cohesion reflects important properties of modules in a software system. Cohesion measurement has been used for quality assessment, f...
Andrian Marcus, Denys Poshyvanyk
IDEAL
2005
Springer
15 years 5 months ago
Bearing Similarity Measures for Self-organizing Feature Maps
The neural representation of space in rats has inspired many navigation systems for robots. In particular, Self-Organizing (Feature) Maps (SOM) are often used to give a sense of lo...
Narongdech Keeratipranon, Frédéric M...
ICCV
1998
IEEE
15 years 4 months ago
Hyperbolic "Smoothing" of Shapes
We have been developing a theory of generic 2-D shape based on a reaction-diffusion model from mathematical physics. The description of a shape is derived from the singularities o...
Kaleem Siddiqi, Allen Tannenbaum, Steven W. Zucker
SPIN
2000
Springer
15 years 3 months ago
The Temporal Rover and the ATG Rover
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
Doron Drusinsky