610 search results - page 11 / 122 » Generating Research Websites Using Summarisation Techniques |
KBSE
1999
IEEE
15 years 1 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
113
click to vote
ICWSM
2009
14 years 7 months ago
2009
Finding out about a topic online can be time consuming. It involves visiting multiple news sites, encyclopedia entries, video repositories and other resources while discarding irr...
ICWSM
2010
14 years 11 months ago
2010
In many collaborative systems, researchers are interested in creating representative user profiles. In this paper, we are particularly interested in using social labeling and auto...
102
Voted
WSDM
2012
ACM
13 years 5 months ago
2012
ACM
The phenomenal growth in the volume of easily accessible information via various web-based services has made it essential for service providers to provide users with personalized ...
76
Voted
WSC
1998
14 years 11 months ago
1998
Simulation optimization is rapidly becoming a mainstream tool for simulation practitioners. Simulation optimization is the practice of linking an optimization method with a simula...