3828 search results - page 684 / 766 » Proof-Based System Engineering Using a Virtual System Model |
114
Voted
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Lean buffering is the smallest buffer capacity, which is necessary and sufficient to ensure the desired production rate of a manufacturing system. Literature offers methods for des...
119
click to vote
ICMLA
2004
15 years 3 months ago
2004
Expressing web page content in a way that computers can understand is the key to a semantic web. Generating ontological information from the web automatically using machine learni...
121
click to vote
TASLP
2010
14 years 9 months ago
2010
We present an approach to music identification based on weighted finite-state transducers and Gaussian mixture models, inspired by techniques used in large-vocabulary speech recogn...
103
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
Information retrieval systems conventionally assess document relevance using the bag of words model. Consequently, relevance scores of documents retrieved for different queries a...
130
click to vote
ICEBE
2007
IEEE
15 years 8 months ago
2007
IEEE
Due to the dramatic increase in intrusive activities architecture security analysis and design has emerged as an important aspect of the development of software services. It is a ...