Sciweavers

5075 search results - page 437 / 1015
» Model-based interface development
Sort
View
ACHI
2010
IEEE
16 years 1 months ago
Music Box: An Algorithm for Producing Visual Music
— This research proposes a method for producing music via visual composition in a computer-game like environment. This is accomplished through the development of artificial intel...
Lindsay Grace
188
Voted
WIAMIS
2009
IEEE
16 years 1 months ago
Optimizing strategies for the exploration of social networks and associated data collections
Multimedia data collections immersed into social networks may be explored from the point of view of varying documents and users characteristics. In this paper, we develop a unifi...
Stéphane Marchand-Maillet, Eniko Szekely, E...
TPHOL
2009
IEEE
16 years 1 months ago
A Brief Overview of Agda - A Functional Language with Dependent Types
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
Ana Bove, Peter Dybjer, Ulf Norell
PERVASIVE
2010
Springer
16 years 26 days ago
12Pixels: Exploring Social Drawing on Mobile Phones
In this paper we present the design and development of 12Pixels, a novel interface, application, and social web service that allows people to create and share drawings directly fro...
Karl D. D. Willis, Ivan Poupyrev
DEXAW
2008
IEEE
131views Database» more  DEXAW 2008»
16 years 26 days ago
FleXplorer: A Framework for Providing Faceted and Dynamic Taxonomy-Based Information Exploration
Faceted and dynamic taxonomies are increasingly used nowadays in a plethora of applications. For developing user interfaces grounded on this interaction paradigm, it is advantageo...
Yannis Tzitzikas, Nikos Armenatzoglou, Panagiotis ...