Search results for 'R. Moll' (try it on Scholar)

4 found
Sort by:
  1. R. Moll & A. R. Meyer (1974). Honest Bounds for Complexity Classes of Recursive Functions. Journal of Symbolic Logic 39 (1):127-138.score: 240.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. J. Gregory Trafton & Anthony M. Harrison (2011). Embodied Spatial Cognition. Topics in Cognitive Science 3 (4):686-706.score: 24.0
    We present a spatial system called Specialized Egocentrically Coordinated Spaces embedded in an embodied cognitive architecture (ACT-R Embodied). We show how the spatial system works by modeling two different developmental findings: gaze-following and Level 1 perspective taking. The gaze-following model is based on an experiment by Corkum and Moore (1998), whereas the Level 1 visual perspective-taking model is based on an experiment by Moll and Tomasello (2006). The models run on an embodied robotic system.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Jan Krajíček (2011). A Note on Propositional Proof Complexity of Some Ramsey-Type Statements. Archive for Mathematical Logic 50 (1-2):245-255.score: 24.0
    A Ramsey statement denoted ${n \longrightarrow (k)^2_2}$ says that every undirected graph on n vertices contains either a clique or an independent set of size k. Any such valid statement can be encoded into a valid DNF formula RAM(n, k) of size O(n k ) and with terms of size ${\left(\begin{smallmatrix}k\\2\end{smallmatrix}\right)}$ . Let r k be the minimal n for which the statement holds. We prove that RAM(r k , k) requires exponential size constant depth Frege systems, answering a problem (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. John N. Thompson, O. J. Reichman, Peter J. Morin, Gary A. Polis, Mary E. Power, Robert W. Sterner, Carol A. Couch, Laura Gough, Robert Holt, David U. Hooper, Felicia Keesing, Charles R. Lovell, Bruce T. Milne And Manuel C. Molles, David W. Roberts & Sharon Y. Strauss (2001). Frontiers of Ecology. Bioscience 51 (1):15.score: 8.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation