423 search results - page 41 / 85 » An Iterative Method to Design Traffic Flow Models |
BMVC
1998
15 years 1 months ago
1998
To be able to understand the motion of deformable objects, techniques in image processing and computer vision are essential for non-rigid motion analysis in this active research a...
101
click to vote
SIGSOFT
1996
ACM
15 years 4 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
DAC
2009
ACM
16 years 24 days ago
2009
ACM
Computational complexity has been the primary challenge of many VLSI CAD applications. The emerging multicore and manycore microprocessors have the potential to offer scalable perf...
HPCC
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a publish/subscribe based asynchronous remote method invocation framework (PARMI) aiming to improve performance and programming flexibility. PARMI enables high-...
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
— We design a coding scheme for Costa’s dirty paper coding (DPC) [6] using a channel and a shaping code. We show that by transforming the channel noise distribution the DPC cha...