Sciweavers

1146 search results - page 171 / 230
» Formal Specification Generation from Requirement Documents
Sort
View
BIB
2010
68views more  BIB 2010»
14 years 10 months ago
Genome variation discovery with high-throughput sequencing data
The advent of high-throughput sequencing (HTS) technologies is enabling sequencing of human genomes at a significantly lower cost. The availability of these genomes is hoped to en...
Adrian V. Dalca, Michael Brudno
ICDE
2007
IEEE
125views Database» more  ICDE 2007»
15 years 11 months ago
Ontology-Based Constraint Recognition for Free-Form Service Requests
Automatic recognition and formalization of constraints from free-form service requests is a challenging problem. Its resolution would go a long way toward allowing users to make r...
Muhammed Al-Muhammed, David W. Embley
CONCURRENCY
2008
128views more  CONCURRENCY 2008»
14 years 10 months ago
Service-oriented approach to collaborative visualization
This paper presents a new service-oriented approach to the design and implementation of visualization systems in a Grid computing environment. The approach evolves the traditional...
H. Wang, Ken W. Brodlie, James W. Handley, Jason W...
PASTE
2010
ACM
14 years 11 months ago
Packrat parsers can handle practical grammars in mostly constant space
Packrat parsing is a powerful parsing algorithm presented by Ford in 2002. Packrat parsers can handle complicated grammars and recursive structures in lexical elements more easily...
Kota Mizushima, Atusi Maeda, Yoshinori Yamaguchi
ASWC
2008
Springer
14 years 11 months ago
ROC: A Method for Proto-ontology Construction by Domain Experts
Abstract. Ontology construction is a labour-intensive and costly process. Even though many formal and semi-formal vocabularies are available, creating an ontology for a specific ap...
Nicole J. J. P. Koenderink, Mark van Assem, J. Lar...