3555 search results - page 247 / 711 » Security-Critical System Development with Extended Use Cases |
179
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
In this paper, we propose a method for generating realistic shadows of virtual objects inserted into a real video sequence. Our aim is to improve and extend the work of [1], which...
196
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
178
click to vote
TSP
2008
15 years 6 months ago
2008
The concept of multiple-input multiple-output (MIMO) radars has drawn considerable attention recently. Unlike the traditional single-input multiple-output (SIMO) radar which emits ...
171
Voted
HICSS
2009
IEEE
16 years 26 days ago
2009
IEEE
Due to their characteristics and claimed advantages, several researchers have been investigating free and open-source projects. Different aspects are being studied: for instance, ...
176
click to vote
DSOM
2000
Springer
15 years 10 months ago
2000
Springer
The availability of object middleware, such as CORBA, is rapidly being accepted as a means for cost effective and fast development for a wide range of distributed applications. Dis...