698 search results - page 39 / 140 » Fast functional simulation using branching programs |
125
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper presents a new approximate policy iteration algorithm based on support vector regression (SVR). It provides an overview of commonly used cost approximation architect...
151
click to vote
AE
2007
Springer
15 years 7 months ago
2007
Springer
The work presented in this paper is part of the development of a robotic system able to learn context dependent visual clues to navigate in its environment. We focus on the obstacl...
116
click to vote
APPT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. With more cores integrated into one single chip, the overall power consumption from the multiple concurrent running programs increases dramatically in a CMP processor whi...
115
click to vote
IH
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We introduce software integrity checking expressions (SoftICEs), which are program predicates that can be used in software tamper detection. We present two candidates, pr...
120
click to vote
CSFW
2007
IEEE
15 years 7 months ago
2007
IEEE
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...