Sciweavers

564 search results - page 33 / 113
» Some Results on the Expressive Power and Complexity of LSCs
Sort
View
DEXA
2009
Springer
167views Database» more  DEXA 2009»
15 years 4 months ago
Analyses and Validation of Conditional Dependencies with Built-in Predicates
Abstract. This paper proposes a natural extension of conditional functional dependencies (cfds [14]) and conditional inclusion dependencies (cinds [8]), denoted by cfdp s and cindp...
Wenguang Chen, Wenfei Fan, Shuai Ma
DOCENG
2003
ACM
15 years 3 months ago
Model driven architecture based XML processing
A number of applications that process XML documents interpret them as objects of application specific classes in a given domain. Generic interfaces such as SAX and DOM leave this ...
Ivan Kurtev, Klaas van den Berg
LOGCOM
2007
91views more  LOGCOM 2007»
14 years 9 months ago
A New Modal Approach to the Logic of Intervals
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
Altaf Hussain
BMCBI
2005
62views more  BMCBI 2005»
14 years 9 months ago
Differences in codon bias cannot explain differences in translational power among microbes
Background: Translational power is the cellular rate of protein synthesis normalized to the biomass invested in translational machinery. Published data suggest a previously unreco...
Les Dethlefsen, Thomas M. Schmidt
AAAI
2007
15 years 1 days ago
DL-Lite in the Light of First-Order Logic
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large a...
Alessandro Artale, Diego Calvanese, Roman Kontchak...