Sciweavers

8190 search results - page 299 / 1638
» From Timed to Hybrid Systems
Sort
View
ICIP
1999
IEEE
16 years 8 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ö...
IUI
2010
ACM
16 years 3 months ago
Rush: repeated recommendations on mobile devices
We present rush as a recommendation-based interaction and visualization technique for repeated item selection from large data sets on mobile touch screen devices. Proposals and ch...
Dominikus Baur, Sebastian Boring, Andreas Butz
VISUALIZATION
2002
IEEE
15 years 11 months ago
Tensor Field Visualisation using Adaptive Filtering of Noise Fields combined with Glyph Rendering
While many methods exist for visualising scalar and vector data, visualisation of tensor data is still troublesome. We present a method for visualising second order tensors in thr...
Andreas Sigfridsson, Tino Ebbers, Einar Heiberg, L...
CADE
2009
Springer
16 years 7 months ago
Real World Verification
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
André Platzer, Jan-David Quesel, Philipp R&...
ISICA
2009
Springer
16 years 1 months ago
Detecting Network Anomalies Using CUSUM and EM Clustering
Abstract. Intrusion detection has been extensively studied in the last two decades. However, most existing intrusion detection techniques detect limited number of attack types and ...
Wei Lu, Hengjian Tong