Sciweavers

4061 search results - page 330 / 813
» Routing Using Geospatial Information System Analysis
Sort
View
CACM
2010
113views more  CACM 2010»
15 years 6 months ago
Reasoning about the unknown in static analysis
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
Isil Dillig, Thomas Dillig, Alex Aiken
TMC
2008
125views more  TMC 2008»
15 years 6 months ago
Distributed Algorithm for Efficient Construction and Maintenance of Connected k-Hop Dominating Sets in Mobile Ad Hoc Networks
A k-hop dominating set is a subset of nodes such that each node not in the set can be reached within k hops from at least one node in the set. A connected k-hop dominating set can ...
Hong-Yen Yang, Chia-Hung Lin, Ming-Jer Tsai
WEBI
2005
Springer
16 years 5 days ago
Weighted Link Analysis for Logo and Trademark Image Retrieval on the Web
Image retrieval on the Web requires that important (authoritative) images satisfying the query selection criteria are assigned higher ranking over other relevant images. PicASHOW ...
Epimenidis Voutsakis, Euripides G. M. Petrakis, Ev...
SSS
2007
Springer
16 years 25 days ago
Self-stabilization and Virtual Node Layer Emulations
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
Tina Nolte, Nancy A. Lynch
SIGIR
2003
ACM
15 years 12 months ago
Decision-Theoretic Resource Selection for Different Data Types in MIND
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed. ...
Henrik Nottelmann, Norbert Fuhr