Sciweavers

3206 search results - page 32 / 642
» How minds can be computational systems
Sort
View
CHI
2008
ACM
15 years 10 months ago
Understanding and characterizing insights: how do people gain insights using information visualization?
Even though "providing insight" has been considered one of the main purposes of information visualization (InfoVis), we feel that insight is still a not-well-understood ...
Ji Soo Yi, Youn ah Kang, John T. Stasko, Julie A. ...
TPHOL
2003
IEEE
15 years 3 months ago
Program Extraction from Large Proof Developments
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
Luís Cruz-Filipe, Bas Spitters
AINA
2007
IEEE
15 years 4 months ago
How to Study Wireless Mesh Networks: A hybrid Testbed Approach
— Simulation is the most famous way to study wireless an mobile networks since they offer a convenient combination of flexibility and controllability. However, their largest dis...
Alexander Zimmermann, Mesut Günes, Martin Wen...
ISMIR
2004
Springer
79views Music» more  ISMIR 2004»
15 years 3 months ago
Towards a Socio-cultural Compatibility of MIR Systems
Future MIR systems will be of great use and pleasure for potential users. If researchers have a clear picture about their “customers” in mind they can aim at building and eval...
Stephan Baumann, Tim Pohle, Shankar Vembu
COST
2007
Springer
163views Multimedia» more  COST 2007»
15 years 3 months ago
Affordances and Cognitive Walkthrough for Analyzing Human-Virtual Human Interaction
This study investigates how the psychological notion of affordance, known from human computer interface design, can be adopted for the analysis and design of communication of a use...
Zsófia Ruttkay, Rieks op den Akker