Sciweavers

384 search results - page 41 / 77
» HYPE Applied to the Modelling of Hybrid Biological Systems
Sort
View
ICIP
1999
IEEE
16 years 1 months ago
A Model-Based Approach for Compression of Fingerprint Images
We proposea new ngerprint imagecompressionscheme based on the hybrid model of image. Our scheme uses the essential steps of a typical automated ngerprint identi cation system (AFI...
Fikret Erçal, Ilker Ersoy, Muhittin Gö...
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 3 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
CMSB
2007
Springer
15 years 6 months ago
Context Sensitivity in Logical Modeling with Time Delays
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
Heike Siebert, Alexander Bockmayr
RTSS
2005
IEEE
15 years 5 months ago
Event Count Automata: A State-Based Model for Stream Processing Systems
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
Samarjit Chakraborty, Linh T. X. Phan, P. S. Thiag...
BMCBI
2010
178views more  BMCBI 2010»
14 years 12 months ago
Selecting high-dimensional mixed graphical models using minimal AIC or BIC forests
Background: Chow and Liu showed that the maximum likelihood tree for multivariate discrete distributions may be found using a maximum weight spanning tree algorithm, for example K...
David Edwards, Gabriel C. G. de Abreu, Rodrigo Lab...