740 search results - page 109 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
167
click to vote
CDVE
2010
Springer
15 years 9 days ago
2010
Springer
In educational settings, current digital technologies often work counter-productive because people using them experience separation and isolation. This paper describes a set of mul...
134
click to vote
EDBT
2010
ACM
15 years 4 months ago
2010
ACM
Online Analytical Processing (OLAP) is a popular technique for explorative data analysis. Usually, a fixed set of dimensions (such as time, place, etc.) is used to explore and ana...
113
click to vote
IDEAS
2009
IEEE
15 years 8 months ago
2009
IEEE
A natural consequence of the widespread adoption of XML as standard for information representation and exchange is the redundant storage of large amounts of persistent XML documen...
114
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
113
click to vote
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...