5015 search results - page 622 / 1003 » Model Checking a Path |
162
click to vote
IS
2007
15 years 6 months ago
2007
: A number of indexing techniques have been proposed in recent times for optimizing the queries on XML and other semistructured data models. Most of the semistructured models use t...
219
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
—We present controllers that enable mobile robots to persistently monitor or sweep a changing environment. The changing environment is modeled as a field which grows in location...
326
click to vote
VR
2011
IEEE
14 years 10 months ago
2011
IEEE
—Redirected walking (RDW) techniques allow people to walk in a larger virtual space than the physical extents of the laboratory. We describe two experiments conducted to investig...
208
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
A fundamental problem related to RDF query processing is selectivity estimation, which is crucial to query optimization for determining a join order of RDF triple patterns. In thi...
198
click to vote
MOBIHOC
2006
ACM
16 years 6 months ago
2006
ACM
Traditionally, ad hoc networks have been viewed as a connected graph over which end-to-end routing paths had to be established. Mobility was considered a necessary evil that inval...