9067 search results - page 377 / 1814 » Adaptive Model Checking |
175
click to vote
ICIP
1999
IEEE
15 years 11 months ago
1999
IEEE
A method for compression of large binary images is proposed for applications where spatial access to the image is required. The proposed method is a two-stage combination of forwa...
185
click to vote
SOCO
2002
Springer
15 years 6 months ago
2002
Springer
Conventional industrial control systems are in majority based on the single-input-single-output design principle with linearized models of the processes. However, most industrial p...
328
click to vote
GIS
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents a fast algorithm for smooth digital elevation model interpolation and approximation from scattered elevation data. The global surface is reconstructed by subdi...
160
click to vote
VAMOS
2009
Springer
16 years 1 months ago
2009
Springer
The application of functional networks in the automotive industry is still very slowly adopted into their development processes. Reasons for this are manifold. A functional networ...
170
click to vote
HAPTICS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a method for building analytical contact models for soft fingers. Friction constraints are derived based on general expressions for non-planar contacts of ela...