536 search results - page 42 / 108 » A computer verified, monadic, functional implementation of t... |
169
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
i Integration of surface normal vectors is a vital component in many shape reconstruction algorithms that require integrating surface normals to produce their final outputs, the de...
136
click to vote
ATC
2009
Springer
15 years 10 months ago
2009
Springer
Remote attestation is one of the key functionalities provided by trusted platforms. Most current attestation approaches are based on cryptographic hash functions, which are appropr...
158
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
174
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
— Reinforcement learning (RL) is one of the most general approaches to learning control. Its applicability to complex motor systems, however, has been largely impossible so far d...
162
click to vote
BIS
2007
15 years 7 months ago
2007
Applications written for mobile devices have become more and more complex, adjusting to the constantly improving computational power of hardware. With the growing application size ...