1226 search results - page 197 / 246 » Generating Abstractions from Static Domain Analysis |
120
Voted
SAT
2010
Springer
14 years 11 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
109
click to vote
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
Classifying an event captured in an image is useful for understanding the contents of the image. The captured event provides context to refine models for the presence and appearan...
83
Voted
DASFAA
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract. Until recently algorithms continuously gained free performance improvements due to ever increasing processor speeds. Unfortunately, this development has reached its limit...
ECML
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Learning to act in an unknown partially observable domain is a difficult variant of the reinforcement learning paradigm. Research in the area has focused on model-free m...
101
Voted
LCPC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...