Sciweavers

2173 search results - page 168 / 435
» Building computer models from small pieces
Sort
View
MVA
2000
249views Computer Vision» more  MVA 2000»
15 years 5 months ago
3D City Modeling with Laser Range Data and 2D Maps
Visualizations and simulations in an urban environment need 3D digital maps rather than traditional 2D maps, and constructing 3D maps from multiple data sources has become a promi...
Pingtao Wang, Takeshi Doihara, Kazuo Oda, Wei Lu
FM
1994
Springer
113views Formal Methods» more  FM 1994»
15 years 8 months ago
Abstract Model Checking of Infinite Specifications
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
Daniel Jackson
AB
2008
Springer
15 years 10 months ago
Property Preservation along Embedding of Biological Regulatory Networks
In the course of understanding biological regulatory networks (BRN), scientists usually start by studying small BRNs that they believe to be of particular importance to represent a...
Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pa...
RAS
2008
108views more  RAS 2008»
15 years 3 months ago
Towards long-lived robot genes
Robot projects are often evolutionary dead ends, with the software and hardware they produce disappearing without trace afterwards. Common causes include dependencies on uncommon ...
Paul M. Fitzpatrick, Giorgio Metta, Lorenzo Natale
GRAPHITE
2005
ACM
15 years 9 months ago
Adaptive T-spline surface fitting to z-map models
Surface fitting refers to the process of constructing a smooth representation for an object surface from a fairly large number of measured 3D data points. This paper presents an ...
Jianmin Zheng, Yimin Wang, Hock Soon Seah