147 search results - page 30 / 30 » SD2: A Sound and Complete Diagrammatic Reasoning System |
VLDB
2007
ACM
14 years 4 months ago
2007
ACM
This paper introduces a class of conditional inclusion dependencies (CINDs), which extends traditional inclusion dependencies (INDs) by enforcing bindings of semantically related ...
MM
2005
ACM
13 years 10 months ago
2005
ACM
This paper describes an ambient intelligent prototype known as socio-ec(h)o. socio-ec(h)o explores the design and implementation of a system for sensing and display, user modeling...