5550 search results - page 660 / 1110 » Different Approaches to Proof Systems |
199
click to vote
ISDA
2009
IEEE
16 years 1 months ago
2009
IEEE
—Road Sign Detection is a major goal of Advanced Driving Assistance Systems (ADAS). Since the dawn of this discipline, much work based on different techniques has been published ...
222
click to vote
MIDDLEWARE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The trend towards cloud and utility computing infrastructures raises challenges not only for application development, but also for management: diverse resources, changing...
239
click to vote
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
Many embedded systems feature processors coupled with a small and fast scratchpad memory. To the difference with caches, allocation of data to scratchpad memory must be handled by...
208
click to vote
MEMOCODE
2007
IEEE
16 years 1 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
217
click to vote
CVPR
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a novel system for generic object class detection. In contrast to most existing systems which focus on a single viewpoint or aspect, our approach can detect object inst...