Sciweavers

17018 search results - page 3342 / 3404
» From the How to the What
Sort
View
AI
2005
Springer
13 years 9 months ago
Knowledge updates: Semantics and complexity issues
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
Chitta Baral, Yan Zhang
SP
2008
IEEE
122views Security Privacy» more  SP 2008»
13 years 9 months ago
Large-scale phylogenetic analysis on current HPC architectures
Abstract. Phylogenetic inference is considered a grand challenge in Bioinformatics due to its immense computational requirements. The increasing popularity and availability of larg...
Michael Ott, Jaroslaw Zola, Srinivas Aluru, Andrew...
IJON
2007
80views more  IJON 2007»
13 years 9 months ago
To each his own: The caregiver's role in a computational model of gaze following
We investigate a computational model of the emergence of gaze following that is based on a generic basic set of mechanisms. Whereas much attention has been focused so far on the s...
Christof Teuscher, Jochen Triesch
IJON
2007
90views more  IJON 2007»
13 years 9 months ago
Spatially organized spike correlation in cat visual cortex
Inspired by optical recordings from visual cortex which show maps of orientation selectivity, and the finding that very similar patterns of population activity occur when the neu...
Denise Berger, David Warren, Richard Normann, Amos...
SYNTHESE
2008
131views more  SYNTHESE 2008»
13 years 9 months ago
A new formulation of the Principle of Indifference
This article goes to the foundations of Statistical Inference through a review of Carnap's logic theory of induction. From this point of view, it brings another solution to t...
Rodolfo de Cristofaro
« Prev « First page 3342 / 3404 Last » Next »