Search Sciweavers | Sciweavers

29143 search results - page 13 / 5829

» A Sortation System Model

click to vote

TSE
2002

125views more TSE 2002»

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

13 years 7 months ago

Download spinroot.com

Gerard J. Holzmann, Margaret H. Smith

claim paper

Read More »

click to vote

HICSS
2003
IEEE

99views Biometrics» more HICSS 2003»

Financial Model-Base Construction for Flexible Model Manipulation of Models and Solvers

14 years 28 days ago

Download www.hicss.hawaii.edu

As financial markets are volatile and rapidly changing, preciseness and agility in price evaluation and risk assessment in the portfolios are more important and decision support s...

Keun-Woo Lee, Soon-Young Huh

claim paper

Read More »

click to vote

CVPR
2003
IEEE

209views Computer Vision» more CVPR 2003»

A Road Sign Recognition System Based on Dynamic Visual Model

14 years 9 months ago

Download www.csie.ntnu.edu.tw

We propose a computational model motivated by human cognitive processes for detecting changes of driving environments. The model, call dynamic visual model, consists of three majo...

C. Y. Fang, C. S. Fuh, S. W. Chen, P. S. Yen

claim paper

Read More »

click to vote

MSWIM
2004
ACM

109views Modeling and Simulation» more MSWIM 2004»

HSDPA flow level performance: the impact of key system and traffic aspects

14 years 1 months ago

Download www.cost290.org

Hans van den Berg, Remco Litjens, Joost Laverman

claim paper

Read More »