10038 search results - page 1519 / 2008 » Model Checking for Managers |
184
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Local aspects of Web search -- associating Web content and queries with geography -- is a topic of growing interest. However, the underlying question of how spatial variation is m...
167
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
With the fast increase in Web activities, Web data mining has recently become an important research topic. However, most previous studies of mining path traversal patterns are bas...
160
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Dependence-aware transactional memory (DATM) is a recently proposed model for increasing concurrency of memory transactions without complicating their interface. DATM manages depe...
222
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
We address the issues of discovering significant binary relationships in transaction datasets in a weighted setting. Traditional model of association rule mining is adapted to han...
185
click to vote
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
This paper studies the use of statistical induction techniques as a basis for automated performance diagnosis and performance management. The goal of the work is to develop and ev...