Search Sciweavers | Sciweavers

29147 search results - page 4 / 5830

» System Modeling Resurrected

click to vote

CIKM
2010
Springer

220views Information Technology» more CIKM 2010»

Clickthrough-based translation models for web search: from word models to phrase models

14 years 8 months ago

Download research.microsoft.com

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

claim paper

Read More »

click to vote

TSE
2002

125views more TSE 2002»

An Automated Verification Method for Distributed Systems Software Based on Model Extraction

14 years 9 months ago

Download spinroot.com

Gerard J. Holzmann, Margaret H. Smith

claim paper

Read More »

click to vote

SPRINGSIM
2010

128views Modeling And Simulation» more SPRINGSIM 2010»

SFS3: a simulation framework for self-stabilizing systems

14 years 8 months ago

Download www.cs.clemson.edu

Sally K. Wahba, Jason O. Hallstrom, Pradip K. Srim...

claim paper

Read More »

click to vote

QEST
2010
IEEE

170views Modeling and Simulation» more QEST 2010»

Compositional Verification of Probabilistic Systems Using Learning

14 years 7 months ago

Download www.prismmodelchecker.org

Lu Feng, Marta Z. Kwiatkowska, David Parker

claim paper

Read More »

click to vote

AMC
2011

189views Modeling And Simulation» more AMC 2011»

Performance analysis of the AM-SG parameter estimation for multivariable systems

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers