Sciweavers

4856 search results - page 271 / 972
» Concept formation in design
Sort
View
199
Voted
COSIT
1999
Springer
145views GIS» more  COSIT 1999»
15 years 11 months ago
The Nature of Landmarks for Real and Electronic Spaces
Landmarks are significant in one’s formation of a cognitive map of both physical environments and electronic information spaces. Landmarks are defined in physical space as having...
Molly E. Sorrows, Stephen C. Hirtle
FPL
1999
Springer
103views Hardware» more  FPL 1999»
15 years 11 months ago
IP Validation for FPGAs Using Hardware Object Technology
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
Steve Casselman, John Schewel, Christophe Beaumont
CHI
1995
ACM
15 years 10 months ago
Belvedere: stimulating students' critical discussion
We describe “Belvedere,” a system to support students engaged in critical discussion of science and public policy issues. The design is intended to address cognitive and metac...
Massimo Paolucci, Daniel D. Suthers, Arlene Weiner
TACAS
2000
Springer
89views Algorithms» more  TACAS 2000»
15 years 10 months ago
The PROSPER Toolkit
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
Louise A. Dennis, Graham Collins, Michael Norrish,...
BCSHCI
2008
15 years 8 months ago
An eye tracking study of how font size and type influence online reading
In order to maximize online reading performance and comprehension, how should a designer choose typographical variables such as font size and font type? This paper presents an eye...
David Beymer, Daniel M. Russell, Peter Z. Orton