2450 search results - page 349 / 490 » Exploring Unknown Environments |
132
click to vote
MM
2000
ACM
15 years 8 months ago
2000
ACM
Concentric mosaics offer a quick solution to construct a virtual copy of a real environment, and navigate in the virtual environment. However, the huge amount of data associated w...
132
click to vote
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...
120
click to vote
CAV
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
138
click to vote
IEEEARES
2010
IEEE
15 years 8 months ago
2010
IEEE
Many software security vulnerabilities only reveal themselves under certain conditions, i.e., particular configurations of the software together with its particular runtime environ...
144
click to vote
IDA
1999
Springer
15 years 8 months ago
1999
Springer
Data mining methods are designed for revealing significant relationships and regularities in data collections. Regarding spatially referenced data, analysis by means of data minin...