Sciweavers

2196 search results - page 171 / 440
» Practical Reasoning Using Values
Sort
View
CSCW
2002
ACM
15 years 2 months ago
Articulating User Needs in Collaborative Design: Towards an Activity-Theoretical Approach
This paper analyses the collaborative design of a high-technology product, a neuromagnetometer used in the analysis of the activity of the human cortex. The producer, Neuromag Com...
Reijo Miettinen, Mervi Hasu
TPLP
2010
135views more  TPLP 2010»
15 years 18 days ago
Formalization of psychological knowledge in answer set programming and its application
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...
Marcello Balduccini, Sara Girotto
ICDE
2007
IEEE
189views Database» more  ICDE 2007»
15 years 8 months ago
Integration of Motion Capture and EMG data for Classifying the Human Motions
Three dimensional motion capture facility is a powerful tool for quantitative and qualitative assessment of multijoint external movements. Electro-myograph (EMG) signals give the ...
Gaurav N. Pradhan, Navzer D. Engineer, Mihai Nadin...
106
Voted
LOPSTR
2004
Springer
15 years 7 months ago
Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...
J. B. Wells, Boris Yakobowski
112
Voted
SPATIALCOGNITION
2000
Springer
15 years 5 months ago
Inference and Visualization of Spatial Relations
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...
Sylvia Wiebrock, Lars Wittenburg, Ute Schmid, Frit...