1247 search results - page 55 / 250 » A First Report on the A |
136
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
Evaluators who examine the same system using the same usability evaluation method tend to report substantially different sets of problems. This so-called evaluator effect means th...
194
click to vote
ICMCS
2007
IEEE
16 years 13 days ago
2007
IEEE
Recently, the bag-of-words approach has been successfully applied to automatic image annotation, object recognition, etc. The method needs to first quantize an image using the vis...
180
click to vote
EURODAC
1995
IEEE
15 years 9 months ago
1995
IEEE
: We present a new, dynamic algorithm for test sequence compaction and test cycle reduction for combinationaland sequential circuits. Several dynamic algorithms for compaction in c...
157
click to vote
AAAI
2008
15 years 8 months ago
2008
In this paper, we combine for the first time the methods of dynamic mechanism design with techniques from decentralized decision making under uncertainty. Consider a multi-agent s...
241
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...