4502 search results - page 668 / 901 » Regular Model Checking |
171
click to vote
ICCV
2007
IEEE
16 years 22 days ago
2007
IEEE
Three-dimensional geometric data play fundamental roles in many computer vision applications. However, their scale-dependent nature, i.e. the relative variation in the spatial ext...
169
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
Many agents are fielded within environments requiring modeling traditional organizational structures such as military hierarchies and corporations, with their associated authority...
176
click to vote
COSIT
2007
Springer
16 years 18 days ago
2007
Springer
Higher level semantics are considered useful in the geospatial domain, yet there is no general consensus on the form these semantics should take. Indeed, knowledge representation p...
195
click to vote
GECCO
2007
Springer
16 years 18 days ago
2007
Springer
The topological properties of a network directly impact the flow of information through a system. For example, in natural populations, the network of inter-individual contacts aff...
149
click to vote
UIC
2007
Springer
16 years 16 days ago
2007
Springer
In mobile ad hoc networks (MANETs), nodes mobility cause network topologies to change dynamically over time, which complicates important tasks such as broadcasting and routing. Mob...