985 search results - page 70 / 197 » Abstract Interactions and Interaction Refinement in Model-Dr... |
121
Voted
INTERACT
2007
15 years 5 months ago
2007
Abstract. Exploring any new data set always starts with gathering overview information. When this process is done non-visually, interactive sonification techniques have proved to b...
92
Voted
ICCCN
2007
IEEE
15 years 10 months ago
2007
IEEE
— Considerable research efforts in the networking community are focused on defining a new Internet architecture that not only solves some of the problems of the current design, ...
106
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
We propose a system to use QR codes and cheap cell phones to alleviate some challenges faced by the chronically homeless. We propose combining the affordability, simplicity and po...
159
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
153
Voted
HICSS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a judgement and decision making analysis of collaborative problem solving. This analysis is done with respect to the Raven and CoRaven decision-making tools fo...