Sciweavers

2251 search results - page 139 / 451
» Specification and Implementation Problems for C
Sort
View
VLDB
2001
ACM
107views Database» more  VLDB 2001»
16 years 4 months ago
A survey of approaches to automatic schema matching
Schema matching is a basic problem in many database application domains, such as data integration, Ebusiness, data warehousing, and semantic query processing. In current implementa...
Erhard Rahm, Philip A. Bernstein
SIGADA
2004
Springer
15 years 9 months ago
Model driven development with Ada
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
Andy Lapping
123
Voted
SODA
2000
ACM
106views Algorithms» more  SODA 2000»
15 years 5 months ago
Algorithms for optimizing production DNA sequencing
We discuss the problem of optimally "finishing" a partially sequenced, reconstructed DNA segment. At first sight, this appears to be computationally hard. We construct a...
Éva Czabarka, Goran Konjevod, Madhav V. Mar...
JAR
2007
90views more  JAR 2007»
15 years 3 months ago
A Tableau Decision Procedure for SHOIQ
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
Ian Horrocks, Ulrike Sattler
RSP
2008
IEEE
182views Control Systems» more  RSP 2008»
15 years 10 months ago
From Application to ASIP-based FPGA Prototype: a Case Study on Turbo Decoding
ASIP-based implementations constitute a key trend in SoC design enabling optimal tradeoffs between performance and flexibility. This paper details a case study of an ASIP-based im...
Olivier Muller, Amer Baghdadi, Michel Jéz&e...