605 search results - page 92 / 121 » Dynamic inference of abstract types |
JAR
2008
13 years 7 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
TASE
2008
IEEE
13 years 7 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...
SIAMCO
2000
13 years 7 months ago
2000
Abstract. For discrete-time linear systems over a principal ideal domain, three types of (C, A)invariance can be distinguished. Connections between these notions are investigated. ...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— Within assembly lines, wheel assembly to continuously conveyed car bodies is still executed by human workers using a device that compensates the weight of the wheel. Th...
PKDD
2010
Springer
13 years 6 months ago
2010
Springer
We present a tool for interactive exploration of graphs that integrates advanced graph mining methods in an interactive visualization framework. The tool enables efficient explorat...