Sciweavers

3172 search results - page 329 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 11 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
ISPD
1999
ACM
128views Hardware» more  ISPD 1999»
15 years 11 months ago
Transistor level micro-placement and routing for two-dimensional digital VLSI cell synthesis
There is an increasing need in modern VLSI designs for circuits implemented in high-performance logic families such as Cascode Voltage Switch Logic, Pass Transistor Logic, and dom...
Michael A. Riepe, Karem A. Sakallah
DEXAW
1999
IEEE
152views Database» more  DEXAW 1999»
15 years 11 months ago
Advanced Metrics for Class-Driven Similarity Search
This paper presents two metrics for the Nearest Neighbor Classifier that share the property of being adapted, i.e. learned, on a set of data. Both metrics can be used for similari...
Paolo Avesani, Enrico Blanzieri, Francesco Ricci
SIGIR
1999
ACM
15 years 11 months ago
Visualization of Search Results: A Comparative Evaluation of Text, 2D, and 3D Interfaces
Although there have been many prototypes of visualization in support of information retrieval, there has been little systematic evaluation that distinguishes the benefits of the v...
Marc M. Sebrechts, John Cugini, Sharon J. Laskowsk...
VRML
1999
ACM
15 years 11 months ago
Transparent Access to and Encoding of VRML State Information
In this paper we propose a concept for transparent access to VRML state information. Our approach enhances VRML browsers to provide additional functionality instead of placing the...
Martin Mauve