Sciweavers

1155 search results - page 190 / 231
» A Decision-Theoretic Model of Assistance
Sort
View
ICS
1993
Tsinghua U.
14 years 18 days ago
Dynamic Control of Performance Monitoring on Large Scale Parallel Systems
Performance monitoring of large scale parallel computers creates a dilemma: we need to collect detailed information to find performance bottlenecks, yet collecting all this data ...
Jeffrey K. Hollingsworth, Barton P. Miller
APGV
2007
ACM
104views Visualization» more  APGV 2007»
14 years 15 days ago
On the empirical limits of billboard rotation
This paper describes an experiment investigating for the first time, the perceptual tolerance of inconsistent projections when rotated billboards are transformed and included in a...
Elodie Fourquet, William Cowan, Stephen Mann
AUSDM
2006
Springer
112views Data Mining» more  AUSDM 2006»
14 years 7 days ago
The Scamseek Project - Text Mining for Financial Scams on the Internet
The Scamseek project, as commissioned by ASIC has the principal objective of building an industrially viable system that retrieves potential scam candidate documents from the Inte...
Jon Patrick
CP
2006
Springer
14 years 7 days ago
Interactive Distributed Configuration
Interactive configuration is the concept of assisting a user in selecting values for parameters that respect given constraints. It was originally inspired by the product configurat...
Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henne...
CAV
2001
Springer
154views Hardware» more  CAV 2001»
14 years 4 days ago
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...