Sciweavers

3172 search results - page 57 / 635
» New developments of the Z-EDM algorithm
Sort
View
HYBRID
2000
Springer
15 years 7 months ago
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
Oleg Botchkarev, Stavros Tripakis
125
Voted
ICMCS
2006
IEEE
146views Multimedia» more  ICMCS 2006»
15 years 9 months ago
A Mutual Information based Face Clustering Algorithm for Movies
In this paper a new approach for face clustering is developed. Mutual information and joint entropy are exploited in order to create a metric for the clustering process. The way t...
Nicholas Vretos, Vassilios Solachidis, Ioannis Pit...
127
Voted
ITICSE
2000
ACM
15 years 8 months ago
The ANIMAL algorithm animation tool
In this paper, we present ANIMAL, a new tool for developing animations to be used in lectures. ANIMAL offers a small but powerful set of graphical operators. Animations are genera...
Guido Rößling, Markus Schüer, Bern...
160
Voted
EURODAC
1995
IEEE
195views VHDL» more  EURODAC 1995»
15 years 7 months ago
A hardware/software partitioning algorithm for pipelined instruction set processor
This paper proposes a new method to design an optimal instruction set for pipelined ASIP development using a formal HW/SW codesign methodology. The codesign task addressed in this...
Binh Ngoc Nguyen, Masaharu Imai, Nobuyuki Hikichi
135
Voted
BMCBI
2007
160views more  BMCBI 2007»
15 years 3 months ago
Convergent algorithms for protein structural alignment
Background: Many algorithms exist for protein structural alignment, based on internal protein coordinates or on explicit superposition of the structures. These methods are usually...
Leandro Martínez, Roberto Andreani, Jos&eac...