2585 search results - page 75 / 517 » Automating Coherent Logic |
APLAS
2000
ACM
14 years 2 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
CAISE
2003
Springer
14 years 3 months ago
2003
Springer
Data Warehouse logical design involves the definition of structures that enable an efficient access to information. The designer builds relational or multidimensional structures ta...
CAISE
2003
Springer
14 years 3 months ago
2003
Springer
Data Warehouse logical design involves the definition of structures that enable an efficient access to information. The designer builds relational or multidimensional structures ta...
AES
2008
Springer
13 years 10 months ago
2008
Springer
Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typ...
FROCOS
2009
Springer
14 years 4 months ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...