Sciweavers

1691 search results - page 224 / 339
» Creativity methods in interaction design
Sort
View
TYPES
1995
Springer
15 years 9 months ago
A Natural Deduction Approach to Dynamic Logic
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
Furio Honsell, Marino Miculan
EUC
2008
Springer
15 years 7 months ago
UMDD: User Model Driven Software Development
The existing software engineering seldom considers software usability, and Human-Computer Interaction (HCI) techniques which can improve the software usability cannot guarantee de...
Xiaochun Wang, Yuanchun Shi
IWEC
2008
15 years 6 months ago
Game-Based Simulation for the Evaluation of Threat Detection in a Seaport Environment
The ability to simulate a seaport environment, including illicit cargo and the sensors designed to detect such cargo, allows the evaluation of alternative detection methods in orde...
Allen Christiansen, Damian Johnson, Lawrence B. Ho...
AMT
2010
Springer
230views Multimedia» more  AMT 2010»
15 years 5 months ago
Visual Image Browsing and Exploration (Vibe): User Evaluations of Image Search Tasks
One of the fundamental challenges in designing an image retrieval system is choosing a method by which the images that match a given query are presented to the searcher. Traditiona...
Grant Strong, Orland Hoeber, Minglun Gong
KES
2006
Springer
15 years 5 months ago
Genetic-Fuzzy Modeling on High Dimensional Spaces
In this paper, in order to reduce the explosive increase of the search space as the input dimension grows, we present a new representation method for the structure of fuzzy rules, ...
Joon-Min Gil, SeongHoon Lee