576 search results - page 69 / 116 » Matching methodology to problem domain |
113
Voted
CAV
2010
Springer
15 years 6 months 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...
123
click to vote
ACL
2008
15 years 4 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...
121
click to vote
IJCAI
2001
15 years 4 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...
154
Voted
ICMLA
2010
15 years 1 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...
130
click to vote
ICMCS
2009
IEEE
15 years 1 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...