Sciweavers

771 search results - page 92 / 155
» EasyCheck - Test Data for Free
Sort
View
IPTPS
2004
Springer
14 years 4 months ago
Uncoordinated Load Balancing and Congestion Games in P2P Systems
In P2P systems, users often have many choices of peers from whom to download their data. Each user cares primarily about its own response time, which depends on how many other use...
Subhash Suri, Csaba D. Tóth, Yunhong Zhou
ISMIR
2004
Springer
168views Music» more  ISMIR 2004»
14 years 4 months ago
Music Information Retrieval systems: why do individuals use them and what are their needs?
: To date there has been very little research conducted on the behaviour of music information retrieval (MIR) users, in spite of the immense popularity of free music retrieval sys...
Sara Taheri-Panah, Andrew MacFarlane
SAS
2004
Springer
140views Formal Methods» more  SAS 2004»
14 years 4 months ago
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
Sumit Gulwani, George C. Necula
DEXAW
2003
IEEE
108views Database» more  DEXAW 2003»
14 years 4 months ago
A Protocol for Programmable Smart Cards
This paper presents an open protocol for interoperability across multi-vendor programmable smart cards. It allows exposition of on-card storage and cryptographic services to host ...
Tommaso Cucinotta, Marco Di Natale, David Corcoran
JCDL
2010
ACM
140views Education» more  JCDL 2010»
14 years 4 months ago
Impact and prospect of social bookmarks for bibliographic information retrieval
This paper presents our ongoing study of the current/future impact of social bookmarks (or social tags) on information retrieval (IR). Our main research question asked in the pres...
Kazuhiro Seki, Huawei Qin, Kuniaki Uehara