Sciweavers

1727 search results - page 66 / 346
» A Technique for Large Automated Mechanism Design Problems
Sort
View
DAC
2008
ACM
16 years 7 months ago
On the role of timing masking in reliable logic circuit design
Soft errors, once only of concern in memories, are beginning to affect logic as well. Determining the soft error rate (SER) of a combinational circuit involves three main masking ...
Smita Krishnaswamy, Igor L. Markov, John P. Hayes
TELSYS
2002
126views more  TELSYS 2002»
15 years 5 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
KDD
2000
ACM
222views Data Mining» more  KDD 2000»
15 years 9 months ago
Interactive exploration of very large relational datasets through 3D dynamic projections
The grand tour, one of the most popular methods for multidimensional data exploration, is based on orthogonally projecting multidimensional data to a sequence of lower dimensional...
Li Yang
GAMEON
2000
15 years 7 months ago
Artificial Life Techniques for Generating Controllers for Physically Modelled Characters
The realistic physical modelling of characters in games and virtual worlds is becoming a viable alternative to more traditional animation techniques. Physical modelling can enhanc...
Tim Taylor
ICDM
2003
IEEE
184views Data Mining» more  ICDM 2003»
15 years 11 months ago
Detecting Patterns of Change Using Enhanced Parallel Coordinates Visualization
Analyzing data to find trends, correlations, and stable patterns is an important problem for many industrial applications. In this paper, we propose a new technique based on paral...
Kaidi Zhao, Bing Liu, Thomas M. Tirpak, Andreas Sc...