Sciweavers

5252 search results - page 280 / 1051
» Requirements engineering: a roadmap
Sort
View
IR
2002
15 years 6 months ago
Threshold Setting and Performance Optimization in Adaptive Filtering
An experimental adaptive filtering system, built on the Okapi search engine, is described. In addition to the regular text retrieval functions, the system requires a complex set o...
Stephen E. Robertson
USAB
2010
15 years 5 months ago
Scene Segmentation in Artistic Archive Documentaries
Abstract. Scene segmentation is a crucial task in the structural analysis of film. State-of-the-art scene segmentation algorithms usually target fiction films (e.g. Hollywood ...
Dalibor Mitrovic, Stefan Hartlieb, Matthias Zeppel...
ICFEM
2009
Springer
15 years 4 months ago
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...
Jiri Barnat, Lubos Brim, Petr Rockai
IESA
2009
15 years 4 months ago
Model Driven Service Interoperability through Use of Semantic Annotations
This paper presents an approach for comparing two architectures for ontology-based semantic annotation for service interoperability, the EMPOWER architecture using platform specif...
Arne-Jørgen Berre, Fangning Liu, Jiucheng X...
ICSE
2009
IEEE-ACM
16 years 7 months ago
Automatically finding patches using genetic programming
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
Westley Weimer, ThanhVu Nguyen, Claire Le Goues, S...