635 search results - page 103 / 127 » Reasoning About Quantum Knowledge |
SSDBM
2008
IEEE
14 years 4 months ago
2008
IEEE
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
ICSM
2007
IEEE
14 years 4 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
ER
2007
Springer
14 years 4 months ago
2007
Springer
Model transformations are playing a vital role in the field of model engineering. However, for non-trivial transformation issues most approaches require imperative definitions, w...
AIED
2005
Springer
14 years 3 months ago
2005
Springer
We have developed a range of critical thinking environments for science education that span several academic content areas, including human biology, geology and forestry. All envir...
AIME
2005
Springer
14 years 3 months ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...