1925 search results - page 234 / 385 » Dynamic Typing |
121
click to vote
JMIV
2006
15 years 1 months ago
2006
In image motion analysis as well as for several application fields like daily pluviometry data modeling, observations contain two components of different nature. A first part is ma...
104
click to vote
ENTCS
2007
15 years 1 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
EOR
2007
15 years 1 months ago
2007
We analyze an extension of the classical multi-period, single-item, linear cost inventory problem where the objective function is a coherent risk measure. Properties of coherent r...
116
click to vote
ROBOTICA
2006
15 years 1 months ago
2006
We combine a "hybrid" force/position control scheme with a potential field approach into a novel method for collision recovery and navigation in unknown environments. It...
TASE
2008
IEEE
15 years 1 months ago
2008
IEEE
Abstract--We describe a vibratory part transport mechanism that utilizes both static and dynamic friction to linearly transport parts in a horizontal direction. We derive a horizon...