Sciweavers

2629 search results - page 21 / 526
» Build a Computer from Scratch
Sort
View
24
Voted
ICANN
2005
Springer
14 years 1 months ago
Building the Cerebellum in a Computer
Abstract. We have built a realistic computational model of the cerebellum. This model simulates the cerebellar cortex of the size 0.5mm×1mm consisting of several types of neurons,...
Tadashi Yamazaki, Shigeru Tanaka
LAWEB
2003
IEEE
14 years 28 days ago
Extracting Knowledge from Association Relationships to Build Navigational Models
This paper analyzes how the semantics of association relationships in OO conceptual modeling can help to build Navigational Models for Web Applications. The work has been develope...
Manoli Albert, Vicente Pelechano, Joan Fons, Gonza...
ECCV
2010
Springer
14 years 17 days ago
2.5D Dual Contouring: A Robust Approach to Creating Building Models from Aerial LiDAR Point Clouds
We present a robust approach to creating 2.5D building models from aerial LiDAR point clouds. The method is guaranteed to produce crack-free models composed of complex roofs and ve...
Qian-Yi Zhou, Ulrich Neumann
PRL
2010
100views more  PRL 2010»
13 years 6 months ago
Extraction of building polygons from SAR images: Grouping and decision-level in the GESTALT system
The GESTALT-System is a stratified architecture for challenging computer vision tasks. This contribution focuses on the 3rd and 4th layer of it – the grouping and decision layer...
Eckart Michaelsen, Uwe Stilla, Uwe Soergel, Leo J....
CORR
2008
Springer
122views Education» more  CORR 2008»
13 years 7 months ago
From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
Frédéric Blanqui, Jean-Pierre Jouann...