Sciweavers

38 search results - page 4 / 8
» Axiomatizability of representable domain algebras
Sort
View
TIME
1994
IEEE
13 years 10 months ago
An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
Robert A. Morris, William D. Shoaff, Lina Khatib
BIRTHDAY
2003
Springer
13 years 12 months ago
Digital Algebra and Circuits
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...
Jean Vuillemin
BPM
2007
Springer
144views Business» more  BPM 2007»
14 years 27 days ago
Managing Socio-technical Interactions in Healthcare Systems
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...
Osama El-Hassan, José Luiz Fiadeiro, Reiko ...
CHI
2003
ACM
13 years 12 months ago
Using pixel rewrites for shape-rich interaction
This paper introduces new interactive ways to create, manipulate and analyze shapes, even when those shapes do not have simple algebraic generators. This is made possible by using...
George W. Furnas, Yan Qu
DLOG
2003
13 years 8 months ago
Description Logic Systems
The Semantic Web initiative defines important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...
Ralf Möller, Volker Haarslev