740 search results - page 70 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
111
click to vote
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
112
click to vote
SIGUCCS
2000
ACM
15 years 5 months ago
2000
ACM
The University of Pittsburgh's Computing Services and Systems Development organization is focused on the needs of the faculty and student population, totaling nearly 40,000 u...
CHI
2009
ACM
16 years 2 months ago
2009
ACM
A significant proportion of research in the field of tangible interaction involves children. A common aspiration is to offer benefits through tangibility, related to ease of use a...
INTERACT
2007
15 years 2 months ago
2007
Animation or sound is often used in user interfaces as an attempt to improve users' perception and comprehension of evolving situations and support them in decision-making. Ho...
103
click to vote
ICCHP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. While there are many barcode readers available for identifying products in a supermarket or at home on mobile phones (e.g., Red Laser iPhone app), such readers are inacce...