2268 search results - page 82 / 454 » The Essence of Form Abstraction |
VISUAL
1999
Springer
14 years 11 days ago
1999
Springer
Abstract. Unlike traditional database management systems, in multimedia databases that support content-based retrieval over multimedia objects, it is difficult for users to express...
CC
1998
Springer
14 years 11 days ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
LICS
1997
IEEE
14 years 10 days ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
AH
2004
Springer
13 years 12 months ago
2004
Springer
Abstract. With the huge increase in the volume of information available in digital form and the increasing diversity of Web applications, the need for efficient, reliable, informat...
AUIC
2004
IEEE
13 years 12 months ago
2004
IEEE
Tactile displays are now becoming available in a form that can be easily used in a user interface. This paper describes a new form of tactile output. Tactons, or tactile re struct...