10568 search results - page 441 / 2114 » Computer Intelligence and Formalization |
172
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
129
click to vote
ECBS
1996
IEEE
15 years 9 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
133
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— RAMP is a rule-based agent for playing Ms. PacMan according to the rules stipulated in the World Congress on Computational Intelligence Ms. Pac-Man Contest. Our archite...
182
click to vote
SAS
1994
Springer
15 years 9 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
169
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...