4763 search results - page 657 / 953 » On the Execution of Deep Models |
249
click to vote
CC
2008
Springer
15 years 9 months ago
2008
Springer
JIT compilation is a model of execution which translates at run time critical parts of the program to a low level representation. Typically a JIT compiler produces machine code fro...
211
click to vote
CSL
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We present a new proof of decidability of higher-order subtyping in the presence of bounded quantification. The algorithm is formulated as a judgement which operates on b...
189
click to vote
EUROS
2008
15 years 9 months ago
2008
Resources consumption control is crucial in the autonomous rover context. Most of the time, the resources consumption is probabilistic. During execution time, the rover has to adap...
180
click to vote
IESA
2007
15 years 9 months ago
2007
The SAMBA (Systems for AMBient intelligence enabled by Agents) architecture reported here is a conceptual service-oriented architecture supporting the interaction and interoperabil...
159
click to vote
GEOINFO
2007
15 years 9 months ago
2007
Polygon clipping is an important operation that computers execute all the time. An algorithm that clips a polygon is rather complex. Each edge of the polygon must be tested against...