Sciweavers

2740 search results - page 99 / 548
» Typing the Specialization Interface
Sort
View
ECIR
2011
Springer
14 years 4 months ago
Visual Exploration of Health Information for Children
Abstract. Children experience several difficulties retrieving information using current Information Retrieval (IR) systems. Particularly, children struggle to find the right keywo...
Frans van der Sluis, Sergio Duarte Torres, Djoerd ...
101
Voted
TLDI
2005
ACM
102views Formal Methods» more  TLDI 2005»
15 years 6 months ago
An open and shut typecase
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie...
93
Voted
KBSE
1998
IEEE
15 years 5 months ago
Automating UI Generation by Model Composition
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
Kurt Stirewalt, Spencer Rugaber
94
Voted
ASSETS
2008
ACM
15 years 2 months ago
Sudoku access: a sudoku game for people with motor disabilities
Educational games are a beneficial activity motivating a large number of students in our society. Unfortunately, disabled people have reduced opportunities when using a computer g...
Stéphane Norte, Fernando G. Lobo
91
Voted
HCI
2007
15 years 2 months ago
3D Modeling and Design Supported Via Interscopic Interaction Strategies
3D modeling applications are widely used in many application domains ranging from CAD to industrial or graphics design. Desktop environments have proven to be a powerful user inter...
Frank Steinicke, Timo Ropinski, Gerd Bruder, Klaus...