4597 search results - page 790 / 920 » Structuring Agents for Adaptation |
146
click to vote
ICIAP
2009
ACM
16 years 5 months ago
2009
ACM
Abstract. We exploit the recurrence of structures at different locations, orientations and scales in an image to perform denoising. While previous methods based on "nonlocal f...
133
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
We present a novel playground platform that will hopefully help in countering two important issues in children in the developed world: lack of physical activity and lack of social...
155
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
The Intelligence Analyst (IA) community will soon be the designated users of many new software tools. In the multitasking world of the IA, any one tool cannot be permitted to gree...
146
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
Human?computer interaction (HCI) is undergoing a paradigm change towards interaction that is contextually adapted to rich use situations taking place "beyond the desktop"...
148
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
Abstract This paper describes a formalisation of the lambda-calculus in a HOL-based theorem prover using nominal techniques. Central to the formalisation is an inductive set that i...