Sciweavers

2737 search results - page 137 / 548
» interaction 2009
Sort
View
WILF
2009
Springer
196views Fuzzy Logic» more  WILF 2009»
15 years 10 months ago
Interactive Image Retrieval in a Fuzzy Framework
In this paper, an interactive image retrieval scheme using MPEG-7 visual descriptors is proposed. The performance of image retrieval systems is still limited due to semantic gap, w...
Malay Kumar Kundu, Minakshi Banerjee, Priyank Bagr...
CHI
2009
ACM
16 years 6 months ago
Citedness, uncitedness, and the murky world between
We test a recent claim in an opinion piece (interactions, May/June 2008, pp. 45-47) that publications by HCI researchers have little or no impact. The alleged "phenomenon of ...
I. Scott MacKenzie
INTETAIN
2009
Springer
16 years 24 days ago
Robosonic: Randomness-Based Manipulation of Sounds Assisted by Robots
In this text, we intend to explore the possibilities of sound manipulation in a context of augmented reality (AR) through the use of robots. We use the random behaviour of robots i...
Filipe Costa Luz, Rui Pereira Jorge, Vasco Bila
CHI
2009
ACM
16 years 6 months ago
Squidy: a zoomable design environment for natural user interfaces
We introduce the interaction library Squidy, which eases the design of natural user interfaces by unifying relevant frameworks and toolkits in a common library. Squidy provides a ...
Harald Reiterer, Roman Rädle, Werner A. K&oum...
ICFP
2009
ACM
16 years 6 months ago
Effective interactive proofs for higher-order imperative programs
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
Adam J. Chlipala, J. Gregory Malecha, Greg Morrise...