5019 search results - page 282 / 1004 » Computing in Quotient Groups |
145
Voted
RTA
2001
Springer
15 years 11 months ago
2001
Springer
The constraint language for lambda structures (CLLS) can model lambda terms that are known only partially. In this paper, we introduce beta reduction constraints to describe beta r...
169
click to vote
GROUP
1999
ACM
15 years 11 months ago
1999
ACM
This paper demonstrates how activity theoretic concepts can be used in conjunction with an ethnographically informed approach to derive requirements on a work situation. We presen...
158
click to vote
SIBGRAPI
1999
IEEE
15 years 11 months ago
1999
IEEE
This work describes an approach for face detection, which is the rst stage of any fully automatedhumanface recognition system. We propose several enhancements to a feature-based ap...
164
click to vote
GROUP
2007
ACM
15 years 10 months ago
2007
ACM
The windows and doorways that connect offices to public spaces are a site for people to gather awareness information and initiate interaction. However, these portals often reveal ...
166
click to vote
GROUP
2007
ACM
15 years 10 months ago
2007
ACM
This paper discusses technological interventions in support of planners, citizens and other stakeholders in envisioning and negotiating an urban project. A set of prototypal tools...