6120 search results - page 1038 / 1224 » The Power of Linear Functions |
108
click to vote
RTA
2010
Springer
15 years 7 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
136
Voted
CVPR
2009
IEEE
15 years 7 months ago
2009
IEEE
We propose a learning-based hierarchical approach of multi-target tracking from a single camera by progressively associating detection responses into longer and longer track fragm...
114
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
Traditional digital circuit synthesis flows start from an HDL behavioral definition and assume that circuit functions are almost completely defined, making don't-care conditio...
129
Voted
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
The Transferable Belief Model is a powerful interpretation of belief function theory where decision making is based on the pignistic transform. Smets has proposed a generalization ...
174
Voted
ICCD
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper we propose techniques to dynamically downsize or upsize a cache accompanied by cache set/line shutdown to produce efficient caches. Unlike previous approaches, resiz...