Sciweavers

1916 search results - page 195 / 384
» The Dea[r]th of Human Understanding
Sort
View
ASSETS
2008
ACM
15 years 7 months ago
Analysis of speech properties of neurotypicals and individuals diagnosed with autism and down
Many individuals diagnosed with autism and Down syndrome have difficulties producing intelligible speech. Systematic analysis of their voice parameters could lead to better unders...
Mohammed E. Hoque
ATAL
2010
Springer
15 years 7 months ago
Can we predict safety culture?
Safety culture is broadly recognized as important for Air Traffic Management and various studies have addressed its characterization and assessment. Nevertheless, relations betwee...
Alexei Sharpanskykh, Sybert H. Stroeve
CADE
2010
Springer
15 years 7 months ago
Premise Selection in the Naproche System
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...
Marcos Cramer, Peter Koepke, Daniel Kühlwein,...
COGSCI
2010
160views more  COGSCI 2010»
15 years 6 months ago
Comprehension of Simple Quantifiers: Empirical Evaluation of a Computational Model
We examine the verification of simple quantifiers in natural language from a computational model perspective. We refer to previous neuropsychological investigations of the same pr...
Jakub Szymanik, Marcin Zajenkowski
CORR
2010
Springer
183views Education» more  CORR 2010»
15 years 6 months ago
A Game Theoretical Approach to Modeling Information Dissemination in Social Networks
One major function of social networks (e.g., massive online social networks) is the dissemination of information such as scientific knowledge, news, and rumors. Information can be...
Dmitry Zinoviev, Vy Duong, Honggang Zhang