6020 search results - page 821 / 1204 » A New Approach to Model Counting |
139
click to vote
CISSE
2007
Springer
16 years 27 days ago
2007
Springer
Conventional human-computer interfaces for the exploration of volume datasets employ the mouse as an input device. Specifying an oblique orientation for a crosssectional plane thr...
183
click to vote
COSIT
2007
Springer
16 years 27 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...
178
click to vote
GEOS
2007
Springer
16 years 26 days ago
2007
Springer
Spatial and temporal data are critical components in many applications. This is especially true in analytical domains such as national security and criminal investigation. Often, t...
203
click to vote
MDM
2007
Springer
16 years 25 days ago
2007
Springer
A general consensus is that the proliferation of locationaware devices will result in a diffusion of location-based services. Privacy preservation is a challenging research issue ...
189
click to vote
SCIA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper introduces a new concept within shadow segmentation for usage in shadow removal and augmentation through construction of a multiplicity alpha overlay shadow mo...