Sciweavers

5441 search results - page 213 / 1089
» Improving the Performance of Recommender Systems That Use Cr...
Sort
View
FORTE
1994
15 years 8 months ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled
AROBOTS
2007
129views more  AROBOTS 2007»
15 years 6 months ago
Behaviors for physical cooperation between robots for mobility improvement
— A team of small, low-cost robots instead of a single large, complex robot is useful in operations such as search and rescue, urban exploration etc. However, the performance of ...
Ashish Deshpande, Jonathan E. Luntz
PVLDB
2010
167views more  PVLDB 2010»
15 years 5 months ago
The Performance of MapReduce: An In-depth Study
MapReduce has been widely used for large-scale data analysis in the Cloud. The system is well recognized for its elastic scalability and fine-grained fault tolerance although its...
Dawei Jiang, Beng Chin Ooi, Lei Shi, Sai Wu
SIGMETRICS
1999
ACM
15 years 11 months ago
Performance Issues in WWW Servers
—This paper evaluates techniques for improving operating system and network protocol software support for high-performance World Wide Web servers. We study approaches in three ca...
Erich M. Nahum, Tsipora P. Barzilai, Dilip D. Kand...
ECIR
2009
Springer
16 years 3 months ago
Enhancing Expert Finding Using Organizational Hierarchies
The task in expert finding is to identify members of an organization with relevant expertise on a given topic. In existing expert finding systems, profiles are constructed from sou...
Maryam Karimzadehgan, Ryen W. White, Matthew Richa...