7988 search results - page 1488 / 1598 » A Useful Undecidable Theory |
SIGSOFT
2006
ACM
14 years 10 months ago
2006
ACM
Though many tools are available to help programmers working on change tasks, and several studies have been conducted to understand how programmers comprehend systems, little is kn...
ISBI
2008
IEEE
14 years 10 months ago
2008
IEEE
This paper describes a new methodology and associated theoretical analysis for rapid and accurate extraction of activation regions from functional MRI data. Most fMRI data analysi...
ICDT
2009
ACM
14 years 10 months ago
2009
ACM
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...
WWW
2009
ACM
14 years 10 months ago
2009
ACM
Mobile social network is a typical social network where one or more individuals of similar interests or commonalities, conversing and connecting with one another using the mobile ...
WWW
2009
ACM
14 years 10 months ago
2009
ACM
The question of how to publish an anonymized search log was brought to the forefront by a well-intentioned, but privacy-unaware AOL search log release. Since then a series of ad-h...