Sciweavers

4359 search results - page 555 / 872
» Automated Pipeline Design
Sort
View
ASE
2005
102views more  ASE 2005»
15 years 6 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
TOG
2008
114views more  TOG 2008»
15 years 6 months ago
Automatic generation of tourist maps
Tourist maps are essential resources for visitors to an unfamiliar city because they visually highlight landmarks and other points of interest. Yet, hand-designed maps are static ...
Floraine Grabler, Maneesh Agrawala, Robert W. Sumn...
CSL
2004
Springer
15 years 6 months ago
Word sense disambiguation of WordNet glosses
This paper presents a suite of methods and results for the semantic disambiguation of WordNet glosses. WordNet is a resource widely used in natural language processing and artific...
Dan I. Moldovan, Adrian Novischi
NAR
2007
84views more  NAR 2007»
15 years 6 months ago
The Multi-Q web server for multiplexed protein quantitation
Multi-Q Web Server provides an automated data analysis tool for multiplexed protein quantitation based on the iTRAQ labeling method. Multi-Q is designed as a generic platform that...
Chuan-Yih Yu, Yin-Hao Tsui, Yi-Hwa Yian, Ting-Yi S...
RE
2008
Springer
15 years 6 months ago
Rule-Based Maintenance of Post-Requirements Traceability Relations
An accurate set of traceability relations between software development artifacts is desirable to support evolutionary development. However, even where an initial set of traceabili...
Patrick Mäder, Orlena Gotel, Ilka Philippow