498 search results - page 20 / 100 » A Logical Temporal Relational Data Model |
ASYNC
2005
IEEE
15 years 5 months ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
GCB
2009
Springer
14 years 9 months ago
2009
Springer
Abstract: A comparative interaction detection paradigm is proposed to study the complex gene regulatory networks that control cell proliferation during development. Instead of atte...
110
click to vote
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Many real-world data are maintained in relational format, with different tables storing information about entities and their links or relationships. The structure (schema) of the ...
105
click to vote
PKDD
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
103
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...