Sciweavers

2533 search results - page 360 / 507
» Supporting Generalized Context Interactions
Sort
View
ESOP
2007
Springer
16 years 18 days ago
Principal Type Schemes for Modular Programs
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
Derek Dreyer, Matthias Blume
GECCO
2007
Springer
230views Optimization» more  GECCO 2007»
16 years 18 days ago
Activation energy-based simulation for self-assembly of multi-shape tiles
Building artificial systems using self-assembly is one of the main issues of artificial life [17]. Scientists are trying to understand this process either using experimental appro...
Mostafa Mostafa Hashim Ellabaan
GECCO
2007
Springer
171views Optimization» more  GECCO 2007»
16 years 18 days ago
Concept-based multi-objective problems and their solution by EC
Recent studies on the support of engineers during conceptual design resulted in a non-traditional type of Multi-Objective Problems (MOPs), namely concept-based ones. In concept-ba...
Amiram Moshaiov, Gideon Avigad
ASSETS
2006
ACM
16 years 12 days ago
Dynamically adapting GUIs to diverse input devices
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...
Scott Carter, Amy Hurst, Jennifer Mankoff, Jack Li
IUI
2006
ACM
16 years 12 days ago
The delivery of multimedia presentations in a graphical user interface environment
A major issue in many domains is to present information to people that is tailored to their need, in such a way that it supports them in their tasks. In this paper, we present the...
Nathalie Colineau, Julien Phalip, Andrew Lampert