5924 search results - page 293 / 1185 » Normal Process Representatives |
131
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
The evaluation of paper prototypes is normally conducted in controlled settings such as a usability lab. This paper, in contrast, reports on a study where evaluations of a paper p...
171
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
152
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper describes a systematic approach that facilitates yield improvement of integrated circuits at the post-manufacture stage. A new Configurable Analogue Transistor (CAT) st...
173
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Boolean satisfiability (SAT) solving has become an enabling technology with wide-ranging applications in numerous disciplines. These applications tend to be most naturally encode...
170
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— To advance robotic science it is important to perform experiments that can be replicated by other researchers to compare different methods. However, these comparisons t...