1769 search results - page 300 / 354 » An implementation of argument based discussion |
CTW
2010
13 years 10 months ago
2010
This paper introduces a novel design for an automotive full-windshield Head-Up Display (HUD) interface which aims to improve the driver's spatial awareness and response times...
FOCM
2008
13 years 10 months ago
2008
An efficient data reduction scheme for the simplification of a surface given by a large set X of 3D point-samples is proposed. The data reduction relies on a recursive point remov...
COMPLEXITY
2006
13 years 10 months ago
2006
Statistical physics, computer simulation and discrete mathematics are intimately related through the study of shared lattice models. These models lie at the foundation of all thre...
CSL
2006
Springer
13 years 10 months ago
2006
Springer
Recently there has been interest in the use of classifiers based on the product of experts (PoE) framework. PoEs offer an alternative to the standard mixture of experts (MoE) fram...
IJAIT
2006
13 years 10 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...