10159 search results - page 1809 / 2032 » System Design Validation Using Formal Models |
170
click to vote
VISUALIZATION
2005
IEEE
16 years 5 days ago
2005
IEEE
Arti cial neural networks are computer software or hardware models inspired by the structure and behavior of neurons in the human nervous system. As a powerful learning tool, incr...
179
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
We introduce HandSCAPE, an orientation-aware digital tape measure, as an input device for digitizing field measurements, and visualizing the volume of the resulting vectors with c...
211
click to vote
UIST
1999
ACM
15 years 11 months ago
1999
ACM
Freehand sketching has long had appeal as an artistic medium for conceptual design because of its immediacy in capturing and communicating design intent and visual experience. We ...
184
click to vote
INTERACT
2003
15 years 8 months ago
2003
: Large displays are increasingly being placed in public places to support community and social activities. However, a major problem that has been observed with this new form of pu...
186
click to vote
Source Code
VXL is a collection of C++ libraries designed for computer vision research and implementation. VXL is written in ANSI/ISO C++ and is designed to be portable over many platforms. Th...