Sciweavers

29147 search results - page 4 / 5830
» System Modeling Resurrected
Sort
View
CIKM
2010
Springer
15 years 1 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
114
Voted
TSE
2002
125views more  TSE 2002»
15 years 2 months ago
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
Gerard J. Holzmann, Margaret H. Smith
84
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...
125
Voted
QEST
2010
IEEE
15 years 19 days ago
Compositional Verification of Probabilistic Systems Using Learning
Lu Feng, Marta Z. Kwiatkowska, David Parker
107
Voted
AMC
2011
14 years 9 months ago
Performance analysis of the AM-SG parameter estimation for multivariable systems
Heqiang Han, Guanglei Song, Yongsong Xiao, Yuwu Li...