576 search results - page 69 / 116 » Matching methodology to problem domain |
CAV
2010
Springer
14 years 4 hour ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
ACL
2008
13 years 10 months ago
2008
Automatic summarization evaluation is critical to the development of summarization systems. While ROUGE has been shown to correlate well with human evaluation for content match in...
IJCAI
2001
13 years 10 months ago
2001
Anchoring is the process of creating and maintaining the correspondence between symbols and percepts that refer to the same physical objects. Although this process must necessaril...
ICMLA
2010
13 years 6 months ago
2010
Learning the reward function of an agent by observing its behavior is termed inverse reinforcement learning and has applications in learning from demonstration or apprenticeship l...
ICMCS
2009
IEEE
13 years 6 months ago
2009
IEEE
In this paper, we consider the problem of incorporating privacy protection in a biometric access control system. An Anonymous Biometric Access Control (ABAC) system is proposed to...