Sciweavers

2806 search results - page 122 / 562
» BML and Related Tools
Sort
View
SIGMOD
2006
ACM
122views Database» more  SIGMOD 2006»
16 years 7 months ago
The ADO.NET entity framework: making the conceptual level real
This paper describes the ADO.NET Entity Framework, a platform for programming against data that raises the level of ion from the logical (relational) level to the conceptual (enti...
Anil Nori, José A. Blakeley, S. Muralidhar
ADC
2006
Springer
128views Database» more  ADC 2006»
16 years 26 days ago
Horn clauses and functional dependencies in complex-value databases
We extend Fagin’s result on the equivalence between functional dependencies in relational databases and propositional Horn clauses. It is shown that this equivalence still holds...
Sven Hartmann, Sebastian Link
SPIN
2004
Springer
16 years 7 days ago
Black-Box Conformance Testing for Real-Time Systems
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
Moez Krichen, Stavros Tripakis
LREC
2008
140views Education» more  LREC 2008»
15 years 8 months ago
Corpus-based Semantic Relatedness for the Construction of Polish WordNet
The construction of a wordnet, a labour-intensive enterprise, can be significantly assisted by automatic grouping of lexical material and discovery of lexical semantic relations. ...
Bartosz Broda, Magdalena Derwojedowa, Maciej Piase...
BMCBI
2011
14 years 10 months ago
A mutation degree model for the identification of transcriptional regulatory elements
Background: Current approaches for identifying transcriptional regulatory elements are mainly via the combination of two properties, the evolutionary conservation and the overrepr...
Changqing Zhang, Jin Wang, Xu Hua, Jinggui Fang, H...