218 search results - page 3 / 44 » Formal Analysis and Automatic Generation of User Interfaces:... |
FLAIRS
2007
13 years 7 months ago
2007
In this paper we propose an ontology (formal knowledge base) creation methodology based on integrating external ontologies into the one developed by a community of the domain expe...
RIAO
2007
13 years 6 months ago
2007
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...
DMDW
2003
13 years 6 months ago
2003
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...
IUI
2006
ACM
13 years 11 months ago
2006
ACM
Interface personalization can improve a user’s performance and subjective impression of interface quality and responsiveness. Personalization is difficult to implement as it req...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...