3954 search results - page 169 / 791 » Image-based Model Completion |
174
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
139
Voted
DAWAK
2008
Springer
15 years 8 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...
280
click to vote
ISTA
2007
15 years 7 months ago
2007
: The present work is devoted to the research of investment projects’ financing issues. Within this paper a data analytical tool for an optimal financing schema computation on th...
156
click to vote
IADIS
2003
15 years 7 months ago
2003
Sure that quality applications must be well thought and described before the development phase and that a design methodology can be much more than a help in most occasions, we pro...
188
Voted
IVCNZ
1998
15 years 7 months ago
1998
In this highly technological world, various methods have been developed for the purpose of recovering the shape of 3D objects from 2D images. In this paper, we introduce methods t...