4693 search results - page 208 / 939 » Verifying Hybrid Systems |
146
click to vote
AISS
2010
15 years 2 months ago
2010
Many systems are available to verify the signatures in bank cheques. In this paper, we verify the offline signatures by taking a boundary of the entire signature and do the pixel ...
131
click to vote
IEEEIAS
2007
IEEE
15 years 11 months ago
2007
IEEE
Recently, administration of RBAC systems using a role-based approach has become very appealing because of the benefits that such an approach typically brings. This approach uses R...
241
click to vote
SIGMOD
2005
ACM
16 years 5 months ago
2005
ACM
This paper describes the overall architecture and design aspects of a hybrid relational and XML database system called System RX. We believe that such a system is fundamental in t...
122
click to vote
HYBRID
2009
Springer
16 years 9 days ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...
147
click to vote
APIN
2004
15 years 5 months ago
2004
A hybrid neuro-symbolic problem-solving model is presented in which the aim is to forecast parameters of a complex and dynamic environment in an unsupervised way. In situations in ...