1933 search results - page 375 / 387 » Query Containment Using Views |
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
: Earth Observations (EO) collect various characteristics of the objective environment using sensors which often have different measuring, spatial and temporal coverage. Making ind...
IV
2007
IEEE
15 years 3 months ago
2007
IEEE
Studies show that roughly one-third of searches that are performed on the web require the user to initiate subsequent searches. Bates [1] theorized that with every search the user...
TACAS
2007
Springer
15 years 3 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
ICPP
2006
IEEE
15 years 3 months ago
2006
IEEE
Space filling curves (SFCs) are widely used for parallel domain decomposition in scientific computing applications. The proximity preserving properties of SFCs are expected to k...
MM
2005
ACM
15 years 3 months ago
2005
ACM
The authors developed an extensible system for video exploitation that puts the user in control to better accommodate novel situations and source material. Visually dense displays...