FUIN
2006
13 years 11 months ago
2006
FUIN
2006
13 years 11 months ago
2006
This paper shows that a strictly convex solid under observation by two or more cameras with known extrinsic and intrinsic parameters contains points on its surface calculable in te...
FUIN
2006
13 years 11 months ago
2006
We consider approximate pattern matching in natural language text. We use the words of the text as the alphabet, instead of the characters as in traditional string matching approac...
FUIN
2006
13 years 11 months ago
2006
This paper introduces an approach to behavioral pattern identification as a part of a study of temporal patterns in complex dynamical systems. Rough set theory introduced by Zdzisl...
FUIN
2006
13 years 11 months ago
2006
The notion of an associative omega-product is applied to processes. Processes are one of the ways to represent behavior of Petri nets. They have been studied for some years as an ...
FUIN
2006
13 years 11 months ago
2006
Abstract. The paper presents a new calculus suitable to describe microbiological systems and their evolution. We use the calculus to model interactions among bacteria and bacteriop...
FUIN
2006
13 years 11 months ago
2006
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...
FUIN
2006
13 years 11 months ago
2006
22
Voted
FUIN
2006
13 years 11 months ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...
FUIN
2006
13 years 11 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...