1528 search results - page 73 / 306 » Implementing Generalized Operator Overloading |
223
click to vote
ICDE
2003
IEEE
16 years 6 months ago
2003
IEEE
Iceberg-cube mining is to compute the GROUP BY partitions, for all GROUP BY dimension lists, that satisfy a given aggregate constraint. Previous works have pushed anti-monotone co...
153
click to vote
ODBIS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The algorithms dealing with the incorporation of new knowledge in an ontology (ontology evolution) often share a rather standard process of dealing with changes. This pro...
139
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
138
click to vote
TACAS
1997
Springer
15 years 8 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
149
click to vote
TSE
2010
15 years 3 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...