Sciweavers

369 search results - page 26 / 74
» Symbolic Semantics Revisited
Sort
View
FOSSACS
2006
Springer
13 years 11 months ago
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
Michael Backes, Sebastian Mödersheim, Birgit ...
ISTA
2003
13 years 9 months ago
Managing Business Logic with Symbolic Computation
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
Ruslan Shevchenko, Anatoly E. Doroshenko
ICDAR
2003
IEEE
14 years 1 months ago
Symbolic Pruning in a Structural Approach to Engineering Drawing Analysis
Interpretation of paper drawings has received a good deal of attention over the last decade. Progress has also been made in related areas such as direct interpretation of human dr...
Tom Henderson, Lavanya Swaminatha
NIPS
2003
13 years 9 months ago
Reasoning about Time and Knowledge in Neural Symbolic Learning Systems
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
Artur S. d'Avila Garcez, Luís C. Lamb
CORR
2008
Springer
62views Education» more  CORR 2008»
13 years 7 months ago
On Unique Decodability
In this paper, we propose a revisitation of the topic of unique decodability and of some fundamental theorems of lossless coding. It is widely believed that, for any discrete sourc...
Marco Dalai, Riccardo Leonardi