188 search results - page 20 / 38 » Abstract Machines, Control, and Sequents |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This paper presents the design and the implementation of an interface software component between OLE for Process Control (OPC) formatted data and the Global ...
AIR
2006
13 years 7 months ago
2006
Abstract. An over-zealous machine learner can automatically generate large, intricate, theories which can be hard to understand. However, such intricate learning is not necessary i...
CP
2006
Springer
13 years 11 months ago
2006
Springer
Distributed computing is increasingly important at a time when the doubling of the number of transistors on a processor every 18 months no longer translates in a doubling of speed ...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
GI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract: Some surfaces, like metallic and varnished ones, can only be properly controlled, if they are inspected under different illumination directions. This requires a three-dim...