3468 search results - page 206 / 694 » An open logical framework |
160
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract— A fully-distributed collaborative multi-target tracking framework that eliminates the need for a central data associator or a central coordinating node for wireless sen...
184
click to vote
IV
2005
IEEE
16 years 4 days ago
2005
IEEE
Visualising large graphs faces the challenges of both data complexity and visual complexity. This paper presents a framework for visualising large graphs that reduces data complex...
134
click to vote
NSPW
2004
ACM
15 years 12 months 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 ...
189
click to vote
DALT
2004
Springer
15 years 12 months 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
15 years 12 months 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...