Sciweavers

1662 search results - page 87 / 333
» Privately Finding Specifications
Sort
View
AMAST
2010
Springer
15 years 1 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...
WWW
2001
ACM
16 years 6 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
CHI
2010
ACM
16 years 1 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
ICDM
2007
IEEE
198views Data Mining» more  ICDM 2007»
16 years 15 days 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
SIGCPR
2003
ACM
106views Hardware» more  SIGCPR 2003»
15 years 11 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