4245 search results - page 67 / 849 » Input Modeling |
TACAS
1995
Springer
15 years 3 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
CORR
2007
Springer
14 years 12 months ago
2007
Springer
Data from spectrophotometers form vectors of a large number of exploitable variables. Building quantitative models using these variables most often requires using a smaller set of...
VISUALIZATION
1998
IEEE
15 years 4 months ago
1998
IEEE
We present a new approach for simplifying models composed of polygons or spline patches. Given an input model, the algorithm computes a new representation of the model in terms of...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present a novel approach using a 4D (x,y,z,t) action feature model (4D-AFM) for recognizing actions from arbitrary views. The 4D-AFM elegantly encodes shape and m...
NN
2006
Springer
14 years 11 months ago
2006
Springer
The paper presents machine learning (ML) models that predict sedimentation in the harbour basin of the Port of Rotterdam. The important factors affecting the sedimentation process...