217 search results - page 10 / 44 » Display Calculi for Logics with Relative Accessibility Relat... |
ASSETS
2006
ACM
14 years 1 months ago
2006
ACM
We demonstrate the most recent version of our system to communicate graphs and relational information to blind users. We have developed a system called exPLoring graphs at UMB (PL...
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
LICS
2002
IEEE
14 years 23 days ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
AUIC
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper reports work done as part of the Large Interactive Display Surface(LIDS) project at the University of Waikato. One application of the LIDS equipment is distributed meet...
GLVLSI
1996
IEEE
14 years 12 hour ago
1996
IEEE
Inthispaperweintroduceanondeterministiccounterpart to Reduced, Ordered Binary Decision Diagrams for the representation and manipulation of logic functions. ROBDDs are conceptually...