Sciweavers

2012 search results - page 285 / 403
» Lane-Change Detection Using a Computational Driver Model
Sort
View
GECCO
2006
Springer
178views Optimization» more  GECCO 2006»
15 years 6 months ago
A dynamic approach to artificial immune systems utilizing neural networks
The purpose of this work is to propose an immune-inspired setup to use a self-organizing map as a computational model for the interaction of antigens and antibodies. The proposed ...
Stefan Schadwinkel, Werner Dilger
TAP
2010
Springer
134views Hardware» more  TAP 2010»
15 years 25 days ago
Testing First-Order Logic Axioms in Program Verification
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
Ki Yung Ahn, Ewen Denney
BMCBI
2008
158views more  BMCBI 2008»
15 years 3 months ago
LC-MSsim - a simulation software for liquid chromatography mass spectrometry data
Background: Mass Spectrometry coupled to Liquid Chromatography (LC-MS) is commonly used to analyze the protein content of biological samples in large scale studies. The data resul...
Ole Schulz-Trieglaff, Nico Pfeifer, Clemens Gr&oum...
CVPR
2009
IEEE
16 years 10 months ago
Active Volume Models for 3D Medical Image Segmentation
In this paper, we propose a novel predictive model for object boundary, which can integrate information from any sources. The model is a dynamic “object” model whose manifes...
Tian Shen (Lehigh University), Hongsheng Li (Lehig...
ICVS
1999
Springer
15 years 7 months ago
3-D Modelling and Robot Localization from Visual and Range Data in Natural Scenes
Abstract. This paper concerns the exploration of a natural environment by a mobile robot equipped with both a video camera and a range sensor (stereo or laser range finder); we fo...
Carlos Parra, Rafael Murrieta-Cid, Michel Devy, Ma...