Sciweavers

696 search results - page 116 / 140
» Explaining abstract counterexamples
Sort
View
97
Voted
BC
2008
69views more  BC 2008»
15 years 1 months ago
The scalable mammalian brain: emergent distributions of glia and neurons
Abstract In this paper, we demonstrate that two characteristic properties of mammalian brains emerge when scaling-up modular, cortical structures. Firstly, the glia-toneuron ratio ...
Janneke F. M. Jehee, Jaap M. J. Murre
CORR
2010
Springer
83views Education» more  CORR 2010»
15 years 1 months ago
Multitriangulations, pseudotriangulations and primitive sorting networks
We study the set of all pseudoline arrangements with contact points which cover a given support. We define a notion of flip which transforms a pseudoline arrangement with contact...
Vincent Pilaud, Michel Pocchiola
139
Voted
ICRA
2010
IEEE
226views Robotics» more  ICRA 2010»
15 years 1 months ago
Indoor scene recognition through object detection
Abstract— Scene recognition is a highly valuable perceptual ability for an indoor mobile robot, however, current approaches for scene recognition present a significant drop in p...
Pablo Espinace, Thomas Kollar, Alvaro Soto, Nichol...
99
Voted
IEEESP
2010
99views more  IEEESP 2010»
15 years 1 months ago
The Iterated Weakest Link
Abstract. We devise a model for security investment that reflects dynamic interaction between a defender, who faces uncertainty, and an attacker, who repeatedly targets the weakes...
Rainer Böhme, Tyler Moore
119
Voted
JUCS
2010
133views more  JUCS 2010»
15 years 1 months ago
Knowledge Authoring with ORE: Testing, Debugging and Validating Knowledge Rules in a Semantic Web Framework
Abstract: Ontology rule editing, testing, debugging and validation are still handcrafted and painful tasks. Nowadays, there is a lack of tools that take these tasks into considerat...
Andrés Muñoz Ortega, Jose M. Alcaraz...