Sciweavers

4636 search results - page 270 / 928
» Modelling and Validation with VipTool
Sort
View
EURODAC
1995
IEEE
182views VHDL» more  EURODAC 1995»
13 years 12 months ago
Delay modelling improvement for low voltage applications
Based on an explicit formulation of delays, an improved model for low voltage operation of CMOS inverter has been derived. Extrinsic and intrinsic effects, such as transistor curr...
Jean Michel Daga, Michel Robert, Daniel Auvergne
ICWE
2010
Springer
13 years 10 months ago
Tools for Modeling and Generating Safe Interface Interactions in Web Applications
Abstract. Current Web applications embed sophisticated user interfaces and business logic. The original interaction paradigm of the Web with static content pages that are browsed b...
Marco Brambilla, Jordi Cabot, Michael Grossniklaus
BILDMED
2007
135views Algorithms» more  BILDMED 2007»
13 years 9 months ago
A New Class of Distance Measures for Registration of Tubular Models to Image Data
In some registration applications additional user knowledge is available, which can improve and accelerate the registration process, especially for non-rigid registration. This is ...
Thomas Lange, Hans Lamecker, Michael Hünerbei...
ESANN
2007
13 years 9 months ago
A hierarchical model for syllable recognition
Inspired by recent findings on the similarities between the primary auditory and visual cortex we propose a neural network for speech recognition based on a hierarchical feedforw...
Xavier Domont, Martin Heckmann, Heiko Wersing, Fra...
PTS
2008
123views Hardware» more  PTS 2008»
13 years 9 months ago
Model-Based Firewall Conformance Testing
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and diff...
Achim D. Brucker, Lukas Brügger, Burkhart Wol...