Sciweavers

997 search results - page 60 / 200
» Decision-Theoretic User Interface Generation
Sort
View
FM
2009
Springer
189views Formal Methods» more  FM 2009»
15 years 2 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
HT
2009
ACM
15 years 7 months ago
Dynamic hypertext generation for reusing open corpus content
Adaptive hypermedia systems traditionally focus on providing personalised learning services for formal or informal learners. The learning material is typically sourced from a prop...
Ben Steichen, Séamus Lawless, Alexander O'C...
130
Voted
GPCE
2005
Springer
15 years 10 months ago
A Generative Programming Approach to Interactive Information Retrieval: Insights and Experiences
We describe the application of generative programming to a problem in interactive information retrieval. The particular interactive information retrieval problem we study is the su...
Saverio Perugini, Naren Ramakrishnan
ERCIMDL
2010
Springer
126views Education» more  ERCIMDL 2010»
15 years 3 months ago
Uncovering Hidden Qualities - Benefits of Quality Measures for Automatically Generated Metadata
Abstract. Today, digital libraries more and more have to rely on semantic techniques during the workflows of metadata generation, search and navigational access. But, due to the st...
Sascha Tönnies, Wolf-Tilo Balke
WAIM
2010
Springer
15 years 2 months ago
A Model for Automatic Generation of Multi-partite Graphs from Arbitrary Data
In this paper we propose a generic model to generate basic multi-partite graphs obtained by associations found in arbitrary data. The interest of such a model is to be the formal ...
Ricardo A. Baeza-Yates, Nieves R. Brisaboa, Josep-...