5722 search results - page 184 / 1145 » Security Function Interactions |
98
Voted
AAAI
2006
15 years 2 months ago
2006
While computers have defeated the best human players in many classic board games, progress in Go remains elusive. The large branching factor in the game makes traditional adversar...
113
Voted
CVPR
2005
IEEE
16 years 2 months ago
2005
IEEE
Kernel functions are often cited as a mechanism to encode prior knowledge of a learning task. But it can be difficult to capture prior knowledge effectively. For example, we know ...
119
click to vote
SEAA
2008
IEEE
15 years 7 months ago
2008
IEEE
Non-functional requirements (NFRs) pose unique challenges in estimating the effort it would take to implement them. This is mainly because of their unique nature; NFRs are subject...
105
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
218
Voted
LPAR
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...