860 search results - page 29 / 172 » A Process Algebra Based Verification of a Production System |
ICCBR
2009
Springer
14 years 2 months ago
2009
Springer
Personalizing the product recommendation task is a major focus of research in the area of conversational recommender systems. Conversational case-based recommender systems help use...
CL
2008
Springer
13 years 7 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
AISS
2010
13 years 5 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 ...
ICDAR
2003
IEEE
14 years 1 months ago
2003
IEEE
We propose an HMM-based text-indicated writer verification method, which is based on a challenge and response type of authentication process. In this method, a different text incl...
DEDS
2000
13 years 7 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...