16 search results - page 4 / 4 » A Probabilistic Language Model for Hand Drawings |
120
click to vote
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...