Sciweavers

2074 search results - page 191 / 415
» Generating Abstract User Interfaces from an Informal Design
Sort
View
JAR
2010
108views more  JAR 2010»
15 years 2 months ago
Procedural Representation of CIC Proof Terms
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
Ferruccio Guidi
CHI
2010
ACM
15 years 11 months ago
Individual models of color differentiation to improve interpretability of information visualization
Color is commonly used to represent categories and values in many computer applications, but differentiating these colors can be difficult in many situations (e.g., for users with...
David R. Flatla, Carl Gutwin
CHI
2010
ACM
15 years 5 months ago
Designing a CD augmentation for mobile phones
Interacting with physical CDs can be a very tangible and explorative experience. However, physical objects can't provide access to the digital services we are used to when us...
Niels Henze, Susanne Boll
IJDSST
2010
107views more  IJDSST 2010»
15 years 1 months ago
Using the Rhizomer Platform for Semantic Decision Support Systems Development
Decision support systems get more useful as they manage to make decisions more informed. However, the cost of information and of combining and making it available in the appropriat...
Roberto García
ECLIPSE
2006
ACM
15 years 10 months ago
Lighthouse: coordination through emerging design
Despite the fact that software development is an inherently collaborative activity, a great deal of software development is spent with developers in isolation, working on their ow...
Isabella A. da Silva, Ping Chen, Christopher van d...