1451 search results - page 175 / 291 » Order independence and rationalizability |
164
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
185
click to vote
KDD
2002
ACM
16 years 6 months ago
2002
ACM
In this paper we propose a scaling-up method that is applicable to essentially any induction algorithm based on discrete search. The result of applying the method to an algorithm ...
155
click to vote
HPCA
2007
IEEE
16 years 6 months ago
2007
IEEE
A thread executing on a simultaneous multithreading (SMT) processor that experiences a long-latency load will eventually stall while holding execution resources. Existing long-lat...
143
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Aphasia is a cognitive disorder that impairs speech and language. From interviews with aphasic individuals, their caregivers, and speech-language pathologists, the need was identi...
218
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
In recent years, privacy preserving data mining has become an important problem because of the large amount of personal data which is tracked by many business applications. In many...