Sciweavers

325 search results - page 34 / 65
» The Algebraic Framework for Object-Oriented Systems
Sort
View
DAGSTUHL
1996
13 years 9 months ago
Multi-Level Lambda-Calculi: An Algebraic Description
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
Flemming Nielson, Hanne Riis Nielson
ICML
2000
IEEE
14 years 8 months ago
Version Space Algebra and its Application to Programming by Demonstration
Machine learning research has been very successful at producing powerful, broadlyapplicable classification learners. However, many practical learning problems do not fit the class...
Tessa A. Lau, Pedro Domingos, Daniel S. Weld
AML
2006
120views more  AML 2006»
13 years 7 months ago
On the infinite-valued Lukasiewicz logic that preserves degrees of truth
Lukasiewicz's infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Lukasiewicz algebra on the unit real interva...
Josep Maria Font, Àngel J. Gil, Antoni Torr...
AFPAC
2000
Springer
257views Mathematics» more  AFPAC 2000»
14 years 2 days ago
The Multidimensional Isotropic Generalization of Quadrature Filters in Geometric Algebra
In signal processing, the approach of the analytic signal is a capable and often used method. For signals of finite length, quadrature filters yield a bandpass filtered approxim...
Michael Felsberg, Gerald Sommer
RSKT
2007
Springer
14 years 1 months ago
ROSA: An Algebra for Rough Spatial Objects in Databases
Abstract. A fundamental data modeling problem in geographical information systems and spatial database systems refers to an appropriate treatment of the vagueness or indeterminacy ...
Markus Schneider, Alejandro Pauly