Search Sciweavers | Sciweavers

29143 search results - page 209 / 5829

» A Sortation System Model

128

click to vote

FATES
2004
Springer

86views Software Engineering» more FATES 2004»

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components

15 years 12 months ago

Download www.eecs.wsu.edu

Gaoyan Xie, Zhe Dang

claim paper

Read More »

144

click to vote

ICDCIT
2004
Springer

85views Internet Technology» more ICDCIT 2004»

Generating a Prototype from a UML Model of System Requirements

15 years 11 months ago

Download www.iist.unu.edu

Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long

claim paper

Read More »

164

click to vote

ICFEM
2004
Springer

118views Software Engineering» more ICFEM 2004»

A CLP Approach to Modelling Systems

15 years 11 months ago

Download research.microsoft.com

Joxan Jaffar

claim paper

Read More »

139

click to vote

IJCNLP
2004
Springer

100views Natural Language Processing» more IJCNLP 2004»

Robust Speaker Identification System Based on Wavelet Transform and Gaussian Mixture Model

15 years 11 months ago

Download www.iis.sinica.edu.tw

Wan-Chen Chen, Ching-Tang Hsieh, Eugene Lai

claim paper

Read More »

122

click to vote

ISOLA
2004
Springer

85views Formal Methods» more ISOLA 2004»

Modelling Coordination in Biological Systems

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers