Sciweavers

2783 search results - page 292 / 557
» The Nature Of Near-Synonymic Relations
Sort
View
IFIP
1994
Springer
15 years 6 months ago
Factorizing Languages
We consider three notions of factorization arising in different frameworks: factorizing languages, factorization of the natural numbers, factorizing codes. A language X A is call...
Marcella Anselmo, Antonio Restivo
141
Voted
KDD
1994
ACM
116views Data Mining» more  KDD 1994»
15 years 6 months ago
Exception Dags as Knowledge Structures
: The problem of transforming the knowledge bases of performance systems using induced rules or decision trees into comprehensible knowledgestructures is addressed. A knowledgestru...
Brian R. Gaines
SAS
1993
Springer
104views Formal Methods» more  SAS 1993»
15 years 6 months ago
Strictness Properties of Lazy Algebraic Datatypes
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
P. N. Benton
TAPSOFT
1993
Springer
15 years 6 months ago
Optimal Reductions in Interaction Systems
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
Andrea Asperti, Cosimo Laneve
COMPSAC
2007
IEEE
15 years 5 months ago
Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures
Mesh simplification is a mainstream technique to render graphics responsively in modern graphical software. However, the graphical nature of the output poses a test oracle problem...
W. K. Chan, Jeffrey C. F. Ho, T. H. Tse