Sciweavers

9642 search results - page 1577 / 1929
» Semantics in Multimedia Systems
Sort
View
MOBICOM
1998
ACM
15 years 3 months ago
Towards a Design Methodology for Adaptive Applications
ibe an abstract architecture of adaptive applications, and indicate where we believe crucial design decisions must We illustrate the use of the abstract model in the design and im...
Malcolm McIlhagga, Ann Light, Ian Wakeman
ERCIMDL
1998
Springer
132views Education» more  ERCIMDL 1998»
15 years 3 months ago
An Analysis of Usage of a Digital Library
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sys...
Steve Jones, Sally Jo Cunningham, Rodger J. McNab
APSEC
1997
IEEE
15 years 3 months ago
Using Extended Event Traces to Describe Communication in Software Architectures
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of...
Manfred Broy, Christoph Hofmann, Ingolf Krüge...
ECP
1997
Springer
130views Robotics» more  ECP 1997»
15 years 3 months ago
Encoding Planning Problems in Nonmonotonic Logic Programs
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
Yannis Dimopoulos, Bernhard Nebel, Jana Koehler
CADE
1994
Springer
15 years 3 months ago
A Mechanization of Strong Kleene Logic for Partial Functions
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
Manfred Kerber, Michael Kohlhase
« Prev « First page 1577 / 1929 Last » Next »