Sciweavers

6885 search results - page 263 / 1377
» The micro-structure of use of help
Sort
View
ICSE
2007
IEEE-ACM
16 years 7 months ago
SCL: Static Enforcement and Exploration of Developer Intent in Source Code
Developers are often unaware of, or fail to respect, the intentions behind a design due to poor communication of design intent. SCL (Structural Constraint Language) helps develope...
Daqing Hou
159
Voted
ISCAS
2005
IEEE
107views Hardware» more  ISCAS 2005»
16 years 24 days ago
Parameter domain pruning for improving convergence of synthesis algorithms
— This paper presents a parameter domain pruning method. Parameter domain pruning aims to identify parameter sub-domains that are more likely to produce feasible and good design ...
Hua Tang, Alex Doboli
MOZ
2004
Springer
16 years 17 days ago
Playing the Minesweeper with Constraints
We present the design and implementation of a Minesweeper game, augmented with a digital assistant. The assistant uses contraint programming techniques to help the player, and is a...
Raphaël Collet
HICSS
1999
IEEE
101views Biometrics» more  HICSS 1999»
15 years 11 months ago
History-based Tools for Navigation
I present a research framework and some tools developed as part of an ongoing effort into defining and using interaction history as part of a user interface for social navigation,...
Alan Wexelblat
179
Voted
BCSHCI
2007
15 years 8 months ago
Mental health issues and pervasive computing
This poster describes work being undertaken in the use of pervasive computing for the treatment of mental health problems. The use of technology to help patients with psychologica...
David J. Haniff