1458 search results - page 114 / 292 » Extended Term Rewriting Systems |
PAMI
2007
14 years 9 months ago
2007
As biometric authentication systems become more prevalent, it is becoming increasingly important to evaluate their performance. The current paper introduces a novel statistical me...
ACMICEC
2004
ACM
15 years 3 months ago
2004
ACM
Due to the rapid advancement of electronic commerce and web technologies in recent years, the concepts and applications of decision support systems have been significantly extende...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
Modern software control systems must cope with uncertainty, manage dynamic environments, as well as provide greater flexibility. Distributed agent-based control systems are the id...