770 search results - page 39 / 154 » Experience in e-Science Requirements Engineering |
MM
2010
ACM
13 years 10 months ago
2010
ACM
TalkMiner is a search engine for lecture webcasts. Lecture videos are processed to recover a set of distinct slide images and OCR is used to generate a list of indexable terms fro...
ICCS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
EDBT
2008
ACM
14 years 10 months ago
2008
ACM
Data stream processing systems have become ubiquitous in academic and commercial sectors, with application areas that include financial services, network traffic analysis, battlef...
SMA
2005
ACM
14 years 3 months ago
2005
ACM
Numerous simplification methods have been proposed for speeding up engineering analysis/ simulation. A recently proposed medial axis reduction is one such method, that is particul...