4595 search results - page 722 / 919 » Reasoning about Plans |
SG
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In the field of the architectural heritage, the representation of artefacts, particularly for communication purposes, has benefited from the development of computer-based...
UC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
DOCENG
2004
ACM
14 years 3 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
MM
2004
ACM
14 years 3 months ago
2004
ACM
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
NSPW
2004
ACM
14 years 3 months ago
2004
ACM
We argue in favor of the explicit inclusion of suspicion as a concrete concept to be used in the analysis of audit data in order to guide the search for evidence of misuse. Our ap...