Sciweavers

1537 search results - page 64 / 308
» On sets not belonging to algebras
Sort
View
AI
2000
Springer
13 years 7 months ago
Boolean connection algebras: A new approach to the Region-Connection Calculus
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
John G. Stell
IDA
2007
Springer
14 years 1 months ago
Relational Algebra for Ranked Tables with Similarities: Properties and Implementation
The paper presents new developments in an extension of Codd’s relational model of data. The extension consists in equipping domains of attribute values with a similarity relation...
Radim Belohlávek, Stanislav Opichal, Vil&ea...
ICCS
2004
Springer
14 years 1 months ago
DisCAS: A Distributed-Parallel Computer Algebra System
The DisCAS system employs and interacts with multiple ELIMINOs distributed over the Internet to achieve a distributed-parallel computing environment. ELIMINO is a computer algebra ...
Yongwei Wu, Guangwen Yang, Weimin Zheng, Dongdai L...
PARLE
1993
13 years 11 months ago
A Parallel Programming Style and Its Algebra of Programs
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
Chris Hankin, Daniel Le Métayer, David Sand...
COOPIS
2004
IEEE
13 years 11 months ago
EMMA - A Query Algebra for Enhanced Multimedia Meta Objects
Enhanced Multimedia Meta Objects (EMMOs) are a novel approach to multimedia content modeling, combining media, semantic relationships between those media, as well as functionality ...
Sonja Zillner, Utz Westermann, Werner Winiwarter