Sciweavers

14699 search results - page 235 / 2940
» Complexity and Cognitive Computing
Sort
View
RE
2002
Springer
15 years 3 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
156
Voted
IBERAMIA
2010
Springer
15 years 2 months ago
Robotic Orientation towards Speaker for Human-Robot Interaction
Abstract. The orientation of conversational robots to face their interlocutors is essential for natural and efficient Human-Robot Interaction (HRI). In this paper, progress towards...
Caleb Rascón, Héctor H. Avilé...
109
Voted
SYNTHESE
2011
93views more  SYNTHESE 2011»
14 years 11 months ago
Part-whole science
A scientific explanatory project, part-whole explanation, and a kind of science, part-whole science are premised on identifying, investigating, and using parts and wholes. In the ...
Rasmus Grønfeldt Winther
101
Voted
CHI
2003
ACM
16 years 4 months ago
Post-cognitivist HCI: second-wave theories
Historically, the dominant paradigm in HCI, when it appeared as a field in early 80s, was information processing ("cognitivist") psychology. In recent decades, as the fo...
Bonnie A. Nardi, Edwin Hutchins, James D. Hollan, ...
RSFDGRC
2005
Springer
208views Data Mining» more  RSFDGRC 2005»
15 years 9 months ago
On the Complexity of Probabilistic Inference in Singly Connected Bayesian Networks
Abstract. In this paper, we revisit the consensus of computational complexity on exact inference in Bayesian networks. We point out that even in singly connected Bayesian networks,...
Dan Wu, Cory J. Butz