Sciweavers

3623 search results - page 352 / 725
» Functionally Modeled User Interfaces
Sort
View
TLCA
2005
Springer
15 years 10 months ago
Subtyping Recursive Types Modulo Associative Commutative Products
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
Roberto Di Cosmo, François Pottier, Didier ...
ISCOPE
1999
Springer
15 years 9 months ago
SIFFEA: Scalable Integrated Framework for Finite Element Analysis
SIFFEA is an automated system for parallel nite element method (PFEM) with unstructured meshes on distributed memory machines. It synthesizes mesh generator, mesh partitioner, line...
Xiangmin Jiao, Xiang-Yang Li, Xiaosong Ma
HCI
2007
15 years 6 months ago
Culturally Adaptive Software: Moving Beyond Internationalization
So far, culture has played a minor role in the design of software. Our experience with imbuto, a program designed for Rwandan agricultural advisors, has shown that cultural adaptat...
Katharina Reinecke, Abraham Bernstein
ICWE
2005
Springer
15 years 10 months ago
NavOptim: On the Possibility of Minimising Navigation Effort
Web applications have rapidly become critical to the interaction that organisations have with their external stakeholders. A major factor in the effectiveness of this interaction i...
Xiaoying Kong, David Lowe
IRCDL
2008
15 years 6 months ago
Towards Bridging the Gap between Personalization and Information Extraction
In this paper we propose to integrate Information Extraction and Adaptive Personalization in order to empower information access and Web search experience. We describe the PIE (Per...
Nirmala Pudota, Paolo Casoto, Antonina Dattolo, Pa...