7134 search results - page 173 / 1427 » A comparative study of map use |
164
click to vote
SPIN
1999
Springer
15 years 10 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
133
click to vote
MCU
2007
15 years 7 months ago
2007
Inspired by genetic programming (GP), we study iterative algorithms for non-computable tasks and compare them to naive models. This framework justifies many practical standard tri...
159
click to vote
CSSC
2010
15 years 6 months ago
2010
Testing the fractionally integrated order of seasonal and non-seasonal unit roots is quite important for the economic and financial time series modelling. In this paper, Robinson ...
172
click to vote
AGI
2011
14 years 10 months ago
2011
Abstract. Non-Axiomatic Logic (NAL) is designed for intelligent reasoning, and can be used in a system that has insufficient knowledge and resources with respect to the problems to...
166
click to vote
GRAPHICSINTERFACE
2008
15 years 7 months ago
2008
Rendering high-quality shadows in real-time is a challenging problem. Shadow mapping has proved to be an efficient solution, as it scales well for complex scenes. However, it suff...