Sciweavers

4074 search results - page 369 / 815
» Defining Computational Aesthetics
Sort
View
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
15 years 11 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ICPR
2000
IEEE
15 years 11 months ago
Video Shot Segmentation and Classification
In this paper, we propose a novel technique for video shot segmentation and classification based on the Singular Value Decomposition (SVD). For the input video sequence, we create...
Yihong Gong, Xin Liu
ICPR
2000
IEEE
15 years 11 months ago
Optical Transformations in Visual Navigation
The navigational tasks of computingtime-to-impact and controlling movements within specific range are addressed here. By using specially designed lenses various components of thes...
Didi Sazbon, Ehud Rivlin, Zeev Zalevsky, David Men...
IJCNN
2000
IEEE
15 years 11 months ago
Supervised Scaled Regression Clustering: An Alternative to Neural Networks
: This paper describes a rather novel method for the supervised training of regression systems that can be an alternative to feedforward Artificial Neural Networks (ANNs) trained w...
Mark J. Embrechts, Dirk Devogelaere, Marcel Rijcka...
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
15 years 11 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...