Sciweavers

570 search results - page 39 / 114
» Robustness and Implementability of Timed Automata
Sort
View
TMI
2011
80views more  TMI 2011»
14 years 6 months ago
Real-Time Regularized Ultrasound Elastography
—This paper introduces two real-time elastography techniques based on analytic minimization (AM) of regularized cost functions. The first method (1D AM) produces axial strain an...
Hassan Rivaz, Emad Boctor, Michael A. Choti, Grego...
ANCS
2007
ACM
15 years 3 months ago
Curing regular expressions matching algorithms from insomnia, amnesia, and acalculia
The importance of network security has grown tremendously and a collection of devices have been introduced, which can improve the security of a network. Network intrusion detectio...
Sailesh Kumar, Balakrishnan Chandrasekaran, Jonath...
ICCAD
2006
IEEE
152views Hardware» more  ICCAD 2006»
15 years 8 months ago
Fast and robust quadratic placement combined with an exact linear net model
— This paper presents a robust quadratic placement approach, which offers both high-quality placements and excellent computational efficiency. The additional force which distrib...
Peter Spindler, Frank M. Johannes
ESANN
2008
15 years 1 months ago
Visual focus with spiking neurons
Attentional focusing can be implemented with a neural field [1], which uses a discharge rate code. As an alternative, we propose in the present work an implementation based on spik...
Sylvain Chevallier, Philippe Tarroux
ESA
2008
Springer
96views Algorithms» more  ESA 2008»
15 years 1 months ago
The Partial Augment-Relabel Algorithm for the Maximum Flow Problem
Abstract. The maximum flow problem is a classical optimization problem with many applications. For a long time, HI-PR, an efficient implementation of the highest-label push-relabel...
Andrew V. Goldberg