Sciweavers

1662 search results - page 87 / 333
» Privately Finding Specifications
Sort
View
163
Voted
AMAST
2010
Springer
14 years 10 months ago
A Complete Declarative Debugger for Maude
Abstract. We present a declarative debugger for Maude specifications that allows to debug wrong answers (a wrong result is obtained) and missing answers (a correct but incomplete r...
Adrián Riesco, Alberto Verdejo, Narciso Mar...
114
Voted
WWW
2001
ACM
16 years 4 months ago
Mining web logs to improve website organization
Many websites have a hierarchical organization of content. This organization may be quite different from the organization expected by visitors to the website. In particular, it is...
Ramakrishnan Srikant, Yinghui Yang
139
Voted
CHI
2010
ACM
15 years 10 months ago
How does search behavior change as search becomes more difficult?
Search engines make it easy to check facts online, but finding some specific kinds of information sometimes proves to be difficult. We studied the behavioral signals that suggest ...
Anne Aula, Rehan M. Khan, Zhiwei Guan
123
Voted
ICDM
2007
IEEE
198views Data Mining» more  ICDM 2007»
15 years 10 months ago
Social Network Extraction of Academic Researchers
This paper addresses the issue of extraction of an academic researcher social network. By researcher social network extraction, we are aimed at finding, extracting, and fusing the...
Jie Tang, Duo Zhang, Limin Yao
119
Voted
SIGCPR
2003
ACM
106views Hardware» more  SIGCPR 2003»
15 years 9 months ago
Triple jeopardy: race, gender and class politics of women in technology
In this paper, I consider how class, race, and gender influence perspectives regarding information technology (IT). I do so by considering how participants in a community technolo...
Lynette Kvasny