369 search results - page 1 / 74 » Ten Years and Counting |
CSE
2008
IEEE
13 years 5 months ago
2008
IEEE
GREC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. GREC’05 marked the 10th anniversary of the series of international workshops on graphics recognition, for which the first edition was held in Penn State in 1995. At th...
COMPUTER
2006
13 years 4 months ago
2006
CSCW
2006
ACM
13 years 11 months ago
2006
ACM
In the ten years since the distinction between “place” and “space” emerged as a consideration for CSCW researchers and designers, the concepts have proven useful across a ...
DAGSTUHL
2001
13 years 6 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...