2117 search results - page 118 / 424 » A Metadata Model for Capturing Presentations |
FORTE
2001
13 years 9 months ago
2001
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...
TOC
2008
13 years 8 months ago
2008
Abstract: This paper presents a unified and simple treatment of basic questions concerning two computational models: multiparty communication complexity and polynomials over GF(2)....
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Developers are often unaware of, or fail to respect, the intentions behind a design due to poor communication of design intent. SCL (Structural Constraint Language) helps develope...
LAWEB
2003
IEEE
14 years 1 months ago
2003
IEEE
This work presents methodological aspects related with the development of web-based collaboration systems in Design and Education. Collaboration is highlighted as the fundamental ...
IJCAI
2003
13 years 9 months ago
2003
Information personalization is fertile ground for application of AI techniques. In this article I relate personalization to the ability to capture partial information in an informa...