Sciweavers

18090 search results - page 595 / 3618
» Computing by Only Observing
Sort
View
175
Voted
VTS
1997
IEEE
96views Hardware» more  VTS 1997»
15 years 11 months ago
Fast Algorithms for Static Compaction of Sequential Circuit Test Vectors
Two fast algorithms for static test sequence compaction are proposed for sequential circuits. The algorithms are based on the observation that test sequences traverse through a sm...
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. P...
CSCW
1996
ACM
15 years 11 months ago
A Usability Study of Awareness Widgets in a Shared Workspace Groupware System
Workspace awareness is knowledge about others' interaction with a shared workspace. Groupware systems provide only limited information about other participants, often comprom...
Carl Gutwin, Mark Roseman, Saul Greenberg
AISB
1994
Springer
15 years 11 months ago
An Empirical Comparison of Selection Methods in Evolutionary Algorithms
Selection methods in Evolutionary Algorithms, including Genetic Algorithms, Evolution Strategies ES and Evolutionary Programming, EP are compared by observing the rate of converge...
Peter J. B. Hancock
ECML
1993
Springer
15 years 11 months ago
Exploiting Context When Learning to Classify
This paper addresses the problem of classifying observations when features are context-sensitive, specifically when the testing set involves a context that is different from the t...
Peter D. Turney
CAV
2007
Springer
114views Hardware» more  CAV 2007»
15 years 11 months ago
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...