4985 search results - page 73 / 997 » Observation of String-Rewriting Systems |
DEDS
2007
13 years 10 months ago
2007
— Given a finite state system with partial observers and for each observer, a regular set of trajectories which we call a secret, we consider the question whether the observers ...
AIPR
2001
IEEE
14 years 1 months ago
2001
IEEE
A novel, template-based method for face recognition is presented. The goals of the proposed method are to integrate multiple observations for improved robustness and to provide au...
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper we describe a technique t...
CORR
2011
Springer
13 years 5 months ago
2011
Springer
In [1], systems of weakening of intuitionistic negation logic called Zn and CZn were developed in the spirit of da Costa’s approach(c.f. [2]) by preserving, differently from da C...
TDSC
2011
13 years 5 months ago
2011
High-end enterprise storage has traditionally consisted of monolithic systems with customized hardware, multiple redundant components and paths, and no single point of failure. Di...