2810 search results - page 493 / 562 » Contract-Based Component System Design |
ICCAD
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents the Routing Cost Valleys (RCV) algorithm – the first published algorithm that simultaneously optimizes all short- and long-path timing constraints in a Field...
90
Voted
ICSEA
2009
IEEE
15 years 5 months ago
2009
IEEE
—In this paper, it is shown that synthetic images can be used to test specific use cases of a lane tracking algorithm which has been developed by Audi AG. This was achieved by s...
ERCIMDL
2009
Springer
15 years 5 months ago
2009
Springer
We consider the problem of e-Infrastructures that wish to reconcile the generality of their services with the bespoke requirements of diverse user communities. We motivate the requ...
104
click to vote
MIG
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...
MM
2009
ACM
15 years 5 months ago
2009
ACM
Motion estimation is a key component of modern video encoding and is very compute-intensive. We present a novel Sensor-assisted Video Encoding (SaVE) method to reduce the computat...