Sciweavers

29147 search results - page 4 / 5830
» System Modeling Resurrected
Sort
View
CIKM
2010
Springer
15 years 2 months ago
Clickthrough-based translation models for web search: from word models to phrase models
Web search is challenging partly due to the fact that search queries and Web documents use different language styles and vocabularies. This paper provides a quantitative analysis ...
Jianfeng Gao, Xiaodong He, Jian-Yun Nie
119
Voted
TSE
2002
125views more  TSE 2002»
15 years 3 months ago
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
Gerard J. Holzmann, Margaret H. Smith
90
Voted
SPRINGSIM
2010
15 years 1 months ago
SFS3: a simulation framework for self-stabilizing systems
Sally K. Wahba, Jason O. Hallstrom, Pradip K. Srim...
132
Voted
QEST
2010
IEEE
15 years 1 months ago
Compositional Verification of Probabilistic Systems Using Learning
Lu Feng, Marta Z. Kwiatkowska, David Parker