Tags: logic
Tags: logic
Bury that lede - What Windows Designers don?t know about UI
Posted Sunday April 13, 2008, 3:43 am, Over one day old at Elliott Back
If you want to get clever, use a command pattern to make it reversible.| | | | copy dialog, user interface design, file attributes, flow state, destination folder, important information, designers, logic, disaster, mom, linux, and music | | | |
Read Bury that lede - What Windows Designers don?t know about UI (Links)
ACL 2 seminar at U.T. Austin: Toward proof exchange in the Semantic Web
Posted Saturday December 2, 2006, 2:07 am, Over one day old at timbl's blog
It doesn't concern me too much that cwm does some crazy stuff when finding proofs; it's the proof checker that I expect to deploy as part of trusted computing bases and the proof language specification that I hope will complete the Semantic Web standards stack.
Read ACL 2 seminar at U.T. Austin: Toward proof exchange in the Semantic Web (Links)