Sciweavers

2741 search results - page 300 / 549
» Engineering Mathematical Knowledge
Sort
View
OOPSLA
2009
Springer
15 years 10 months ago
S.P.L.O.T.: software product lines online tools
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
Marcílio Mendonça, Moises Branco, Do...
BIBM
2008
IEEE
15 years 10 months ago
Synthetic Biology Design and Analysis: A Case Study of Frequency Entrained Biological Clock
Abstract—Biological clock, a self sustaining oscillation widely discovered in many species, is important to determine many biological activities, for example, the sleep-wake cycl...
Peng Yu, Xi Chen, David Z. Pan, Andrew D. Ellingto...
CISIS
2008
IEEE
15 years 10 months ago
Processing Ontology Alignments with SPARQL
Solving problems raised by heterogeneous ontologies can be achieved by matching the ontologies and processing the resulting alignments. This is typical of data mediation in which ...
Jérôme Euzenat, Axel Polleres, Fran&c...
119
Voted
CSMR
2008
IEEE
15 years 10 months ago
Visual Detection of Design Anomalies
Design anomalies, introduced during software evolution, are frequent causes of low maintainability and low flexibility to future changes. Because of the required knowledge, an im...
Karim Dhambri, Houari A. Sahraoui, Pierre Poulin
WACV
2008
IEEE
15 years 10 months ago
Location-based Services using Image Search
Recent developments in image search has made them sufficiently efficient to be used in real-time applications. GPS has become a popular navigation tool. While GPS information pr...
Pieter-Paulus Vertongen, Dan Witzner Hansen