769 search results - page 101 / 154 » Simple Composition of Nets |
DAGSTUHL
1998
13 years 9 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
VMV
2003
13 years 9 months ago
2003
In this paper, a simple and efficient solution for combining shear-warp volume rendering and the hardware graphics pipeline is presented. The approach applies an inverse warp tra...
AAAI
1994
13 years 9 months ago
1994
The ability to answer prediction questions is crucial to reasoning about physical systems. A prediction question poses a hypothetical scenario and asks for the resulting behavior ...
SCAI
1993
13 years 9 months ago
1993
In this paper the problems of organization and representation of concept knowledge are addressed from an autonomous agent perspective. The first part of the paper discusses the qu...
ASIAN
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...