176 search results - page 30 / 36 » urban 2008 |
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
112
click to vote
EWCBR
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we propose an approach to address the old problem of identifying the feature conditions under which a gaming strategy can be effective. For doing this, we will build ...
103
click to vote
ECCV
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. As part of an architectural modeling project, this paper investigates the problem of understanding and manipulating images of buildings. Our primary motivation is to auto...
CHI
2008
ACM
16 years 4 days ago
2008
ACM
Technology, it is argued, has the potential to improve everyone's life: from the workplace, to entertainment, to easing chores around the home. But what of people who have ne...
CHI
2008
ACM
16 years 4 days ago
2008
ACM
The broadening array of technologies available to support the design of classroom activity has the potential to reshape science learning in schools. This paper presents a ubiquito...