3914 search results - page 660 / 783 » A Pattern Approach to Interaction Design |
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
With the recent availability of commercial light field cameras, we can foresee a future in which light field signals will be as common place as images. Hence, there is an immine...
AOSD
2007
ACM
13 years 12 months ago
2007
ACM
This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in aspect-oriented programming (AOP) languages. The advantage of our approach is...
ACMACE
2009
ACM
14 years 2 months ago
2009
ACM
When it comes to motivating teenagers towards energy awareness, new approaches need to be considered. One such is the use of pervasive games connected to the players own energy co...
CEEMAS
2005
Springer
14 years 1 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
TPHOL
1999
IEEE
14 years 5 days ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...