2347 search results - page 271 / 470 » Location, location, location: a study of bluejacking practic... |
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
CIDR
2007
13 years 9 months ago
2007
We present a “black-box” approach to estimating query cardinality that has no knowledge of query execution plans and data distribution, yet provides accurate estimates. It doe...
HCI
2007
13 years 9 months ago
2007
It is difficult for a navigator to find a way to a given target location in an unfamiliar environment. Often, wayfinding guidance such as an overview map is provided to assist the ...
CASCON
2004
13 years 9 months ago
2004
Effective communication and coordination across multiple sites is extremely important for global software development. An experimental simulation that mimics an interdependent sof...
AAAI
1996
13 years 9 months ago
1996
If a state space is not completely known in advance, then search algorithms have to explore it sufficiently to locate a goal state and a path leading to it, performing therefore w...