Sciweavers

1441 search results - page 150 / 289
» A Practical Approach to Network-Based Processing
Sort
View
103
Voted
ACSC
2005
IEEE
15 years 6 months ago
A Framework of Filtering, Clustering and Dynamic Layout Graphs for Visualization
Many classical graph visualization algorithms have already been developed over the past decades. However, these algorithms face difficulties in practice, such as the overlapping n...
Xiaodi Huang, Peter Eades, Wei Lai
CAV
2004
Springer
93views Hardware» more  CAV 2004»
15 years 6 months ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang
CTRSA
2004
Springer
59views Cryptology» more  CTRSA 2004»
15 years 5 months ago
Yet Another Sieving Device
Abstract. A compact mesh architecture for supporting the relation collection step of the number field sieve is described. Differing from TWIRL, only isolated chips without inter-...
Willi Geiselmann, Rainer Steinwandt
104
Voted
FORMATS
2003
Springer
15 years 5 months ago
Analysis of Real Time Operating System Based Applications
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
Libor Waszniowski, Zdenek Hanzálek
ECCV
2010
Springer
15 years 5 months ago
Weakly-Paired Maximum Covariance Analysis for Multimodal Dimensionality Reduction and Transfer
Abstract. We study the problem of multimodal dimensionality reduction assuming that data samples can be missing at training time, and not all data modalities may be present at appl...