4340 search results - page 633 / 868 » Formal Methods and Cryptography |
149
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
166
click to vote
ENTCS
2006
15 years 6 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
148
click to vote
IJIS
2008
15 years 6 months ago
2008
The ability to analyse and represent formally semantic relations of terms is a core issue in information retrieval (IR), natural language processing (NLP), and in many related are...
137
click to vote
COMBINATORICS
2007
15 years 6 months ago
2007
In this paper, we revisit the enumeration of directed animals using gas models. We show that there exists a natural construction of random directed animals on any directed graph t...
156
click to vote
IJCV
2006
15 years 6 months ago
2006
We address the issue of low-level segmentation of vector-valued images, focusing on the case of color natural images. The proposed approach relies on the formulation of the problem...