Sciweavers

8959 search results - page 224 / 1792
» Composing aspects with aspects
Sort
View
PKDD
1998
Springer
113views Data Mining» more  PKDD 1998»
15 years 10 months ago
On Objective Measures of Rule Surprisingness
Most of the literature argues that surprisingness is an inherently subjective aspect of the discovered knowledge, which cannot be measured in objective terms. This paper departs fr...
Alex Alves Freitas
EPIA
1997
Springer
15 years 10 months ago
An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals
Abstract. A new algorithm for finding the minimal solutions of systems of linear Diophantine equations has recently been published. In its description the emphasis was put on the ...
Ana Paula Tomás, Miguel Filgueiras
ISMVL
1994
IEEE
98views Hardware» more  ISMVL 1994»
15 years 10 months ago
Digital Circuit Verification Using Partially-Ordered State Models
Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over "weakened" state values. This technique has long been practice...
Carl-Johan H. Seger, Randal E. Bryant
APLAS
2007
ACM
15 years 10 months ago
On a Tighter Integration of Functional and Logic Programming
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
Bernd Braßel, Frank Huch
VLDB
1995
ACM
89views Database» more  VLDB 1995»
15 years 10 months ago
Document Management as a Database Problem
abstract of invited paper Document management has many aspects, among them acquisition, storage, retrieval, presentation and processing of documents (work flow). These aspects will...
Rudolf Bayer