Sciweavers

1469 search results - page 126 / 294
» Discretization of a Continuous Curve
Sort
View
SIMULATION
2008
139views more  SIMULATION 2008»
15 years 4 months ago
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
Pieter J. L. Cuijpers, Jan F. Broenink, Pieter J. ...
COMPGEOM
2009
ACM
15 years 11 months ago
Diameter of polyhedra: limits of abstraction
of Polyhedra: Limits of Abstraction Friedrich Eisenbrand∗ Nicolai Hähnle† Alexander Razborov‡ Thomas Rothvoß§ September 25, 2009 tigate the diameter of a natural abstract...
Friedrich Eisenbrand, Nicolai Hähnle, Thomas ...
CISS
2008
IEEE
15 years 11 months ago
Costas permutations in the continuum
—We extend the definition of the Costas property to functions in the continuum, namely on intervals of the reals or the rationals, and argue that such functions can be used in t...
Konstantinos Drakakis, Scott Rickard
IDEAL
2000
Springer
15 years 8 months ago
Clustering by Similarity in an Auxiliary Space
Abstract. We present a clustering method for continuous data. It defines local clusters into the (primary) data space but derives its similarity measure from the posterior distribu...
Janne Sinkkonen, Samuel Kaski
TACAS
2000
Springer
139views Algorithms» more  TACAS 2000»
15 years 8 months ago
A Markov Chain Model Checker
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
Holger Hermanns, Joost-Pieter Katoen, Joachim Meye...