3657 search results - page 458 / 732 » A Study of Practical Deduplication |
176
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
161
Voted
CHI
2010
ACM
16 years 1 months ago
2010
ACM
My research examines the practical and social impact of technology on the urban homeless. To accomplish this, I have conducted interviews with the homeless to understand how techn...
167
Voted
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
Using effective teaching practices is a high priority for educators. One important pedagogical skill for computer science instructors is asking effective questions. This paper pre...
167
click to vote
PAM
2010
Springer
16 years 1 months ago
2010
Springer
Since December 2008, the official BitTorrent client is using a new congestion-control protocol for data transfer, implemented at the application layer and built over UDP at the tr...
176
click to vote
APSCC
2009
IEEE
16 years 1 months ago
2009
IEEE
Since the Internet of Services (IoS) is becoming reality, there is an inherent need for novel service selection mechanisms, which work in spite of large numbers of alternative ser...