Sciweavers

1730 search results - page 116 / 346
» Algebra and Computation
Sort
View
128
Voted
PAKDD
2005
ACM
96views Data Mining» more  PAKDD 2005»
15 years 9 months ago
Kernels over Relational Algebra Structures
Abstract. In this paper we present a novel and general framework based on concepts of relational algebra for kernel-based learning over relational schema. We exploit the notion of ...
Adam Woznica, Alexandros Kalousis, Melanie Hilario
PADL
2004
Springer
15 years 8 months ago
An Algebraic Theory of Polymorphic Temporal Media
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
Paul Hudak
176
Voted
CSFW
2000
IEEE
15 years 8 months ago
Information Flow Analysis in a Discrete-Time Process Algebra
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
Riccardo Focardi, Roberto Gorrieri, Fabio Martinel...
ITP
2010
178views Mathematics» more  ITP 2010»
15 years 5 months ago
Developing the Algebraic Hierarchy with Type Classes in Coq
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
Bas Spitters, Eelis van der Weegen
PR
2002
91views more  PR 2002»
15 years 3 months ago
Fuzzy points: algebra and application
A fuzzy point is a region representing the uncertain location of a normal Euclidean point. A fuzzy point in the plane is considered to be a closed disk (a circle and its interior)...
Robert E. Mercer, John L. Barron, Aiden A. Bruen, ...