2074 search results - page 191 / 415 » Generating Abstract User Interfaces from an Informal Design |
137
click to vote
JAR
2010
15 years 2 months ago
2010
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...
141
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
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...
122
click to vote
CHI
2010
ACM
15 years 5 months ago
2010
ACM
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...
154
click to vote
IJDSST
2010
15 years 1 months ago
2010
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...
126
click to vote
ECLIPSE
2006
ACM
15 years 10 months ago
2006
ACM
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...