Sciweavers

4087 search results - page 49 / 818
» Sets in Types, Types in Sets
Sort
View
CORR
2008
Springer
103views Education» more  CORR 2008»
13 years 9 months ago
Executable Set Theory and Arithmetic Encodings in Prolog
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
Paul Tarau
ISCI
2008
84views more  ISCI 2008»
13 years 8 months ago
Measures for evaluating the decision performance of a decision table in rough set theory
As two classical measures, approximation accuracy and consistency degree can be employed to evaluate the decision performance of a decision table. However, these two measures cann...
Yuhua Qian, Jiye Liang, Deyu Li, Haiyun Zhang, Chu...
SIGGRAPH
1996
ACM
14 years 29 days ago
Automatic Reconstruction of B-Spline Surfaces of Arbitrary Topological Type
Creating freeform surfaces is a challenging task even with advanced geometric modeling systems. Laser range scanners offer a promising alternative for model acquisition--the 3D sc...
Matthias Eck, Hugues Hoppe
IKE
2007
13 years 10 months ago
A Set-Theoretic Data Model For Evolving Database Environments
The paper presents an integrated set-theoretic data model that offers a framework for defining a unified schema for any database environment. We utilise the concepts ”entity...
Emmanuel J. Yannakoudakis, Panagiotis Andrikopoulo...
IEEEICCI
2009
IEEE
14 years 3 months ago
Interval sets and interval-set algebras
An interval set is an interval in the power set lattice based on a universal set and is a family of subsets of the universal set. Interval sets and interval-set algebras provide a...
Yiyu Yao