1536 search results - page 207 / 308 » The Underlying Logic of Hoare Logic |
149
click to vote
IADIS
2004
15 years 7 months ago
2004
The focus of this paper is on student learning theory. Use is made of an "analytic discovery tool" called Quantitative CyberQuest (QCQ) to help conceptualize the many go...
156
click to vote
DMDW
2001
15 years 7 months ago
2001
Accurately estimating the cardinality of aggregate views is crucial for logical and physical design of data warehouses. While the warehouse is under development and data are not a...
188
click to vote
METMBS
2003
15 years 7 months ago
2003
Data retrieved from body sensors such as ECG machines and new-generation multi-sensor systems such as respiratory monitors are varied and abundant. Managing and integrating this s...
175
click to vote
WSPI
2004
15 years 7 months ago
2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
153
click to vote
AAAI
2000
15 years 7 months ago
2000
We analyze the complexity of propositional kernel resolution (del Val 1999), a general method for obtaining logical consequences in restricted target languages. Different choices ...