5544 search results - page 492 / 1109 » Three Inadequate Models |
168
click to vote
EUROGRAPHICS
2010
Eurographics
16 years 4 months ago
2010
Eurographics
In this paper, we propose an automatic method for generating roads based on a weighted anisotropic shortest path algorithm. Given an input scene, we automatically create a path co...
184
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We present a passive computer vision method that exploits existing mapping and navigation databases in order to automatically create 3D building models. Our method defines a gramm...
159
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
189
click to vote
APSEC
2009
IEEE
16 years 2 months ago
2009
IEEE
— This paper describes a controlled experiment of student programmers performing maintenance tasks on a C++ program. The goal of the study is to assess the maintenance size, effo...
198
click to vote
ICPP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we deal with the problem of scheduling streaming applications on unreliable heterogeneous platforms. We use the realistic one-port model with full computation/commu...