4266 search results - page 218 / 854 » A Framework for Defining Logics |
136
click to vote
NSPW
2004
ACM
16 years 2 days ago
2004
ACM
This paper presents a new paradigm for information theory which is a synthesis of Barwise-Seligman’s qualitative theory and Shannon’s quantitative theory. The new paradigm is ...
190
click to vote
DALT
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
139
click to vote
ICWE
2004
Springer
16 years 1 days ago
2004
Springer
The usability of web applications today often suffers from the page-based medium’s lack of intrinsic support for hierarchical dialog sequences mirroring the parent-child relatio...
172
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into ...
192
click to vote
DOLAP
1998
ACM
15 years 11 months ago
1998
ACM
Though designing a data warehouse requires techniques completely different from those adopted for operational systems, no significant effort has been made so far to develop a comp...