Sciweavers

2686 search results - page 230 / 538
» Testing metric properties
Sort
View
CORR
2008
Springer
52views Education» more  CORR 2008»
15 years 6 months ago
Weighted distance transforms generalized to modules and their computation on point lattices
This paper presents the generalization of weighted distances to modules and their computation through the chamfer algorithm on general point lattices. The first part is dedicated ...
Céline Fouard, Robin Strand, Gunilla Borgef...
DEDS
2010
88views more  DEDS 2010»
15 years 6 months ago
Optimal Admission Control of Discrete Event Systems with Real-Time Constraints
Abstract-- The problem of optimally controlling the processing rate of tasks in Discrete Event Systems (DES) with hard real-time constraints has been solved in [9] under the assump...
Jianfeng Mao, Christos G. Cassandras
JUCS
2008
94views more  JUCS 2008»
15 years 6 months ago
NASDAQ Velocity and Forces: An Interactive Visualization of Activity and Change
: NASDAQ Market Velocity and Market Forces are two relatively new data products that attempt to capture market sentiment, something that was previously only observable if one was o...
Huyen Tue Dao, Adam L. Bazinet, Robin Berthier, Be...
IPL
2002
74views more  IPL 2002»
15 years 6 months ago
Restricted rotation distance between binary trees
Restricted rotation distance between pairs of rooted binary trees measures differences in tree shape and is related to rotation distance. In restricted rotation distance, the rota...
Sean Cleary
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 4 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé