Sciweavers

3007 search results - page 109 / 602
» Designed -in-diagnostics: A new optical method
Sort
View
ISSAC
2007
Springer
121views Mathematics» more  ISSAC 2007»
15 years 4 months ago
A comparative analysis of parallel disk-based Methods for enumerating implicit graphs
It is only in the last five years that researchers have begun to use disk-based search techniques on a large scale. The primary examples of its use come from symbolic algebra and...
Eric Robinson, Daniel Kunkle, Gene Cooperman
ISLPED
2005
ACM
68views Hardware» more  ISLPED 2005»
15 years 3 months ago
Two efficient methods to reduce power and testing time
Reducing power dissipation and testing time is accomplished by forming two clusters of don’t-care bit inside an input and a response test cube. New reordering scheme of scan lat...
Il-soo Lee, Tony Ambler
ECTEL
2006
Springer
14 years 12 months ago
A Method for Capitalizing upon and Synthesizing Analyses of Human Interactions
It is often the case that analyses of human interactive activity are lost once an article is written about the results obtained. Although it is clear that corpora are gathered in o...
Annie Corbel, Jean-Jacques Girardot, Kristine Lund
AAAI
1996
14 years 11 months ago
A Graph-Based Method for Improving GSAT
GSAT is a randomized greedy local repair procedure that was introduced for solving propositional satis ability and constraint satisfaction problems. We present an improvement to G...
Kalev Kask, Rina Dechter
AAAI
2011
13 years 10 months ago
Differential Eligibility Vectors for Advantage Updating and Gradient Methods
In this paper we propose differential eligibility vectors (DEV) for temporal-difference (TD) learning, a new class of eligibility vectors designed to bring out the contribution of...
Francisco S. Melo