Sciweavers

3678 search results - page 341 / 736
» On the Stable Paths Problem
Sort
View
IADIS
2004
15 years 8 months ago
Pattern definition to refine navigation structure in hypermedia/Web applications
When building Hypermedia/Web Applications, (different) designers are often faced with the same problems over and over again. Those recurring problems soon yield elegant solutions,...
Sven Casteleyn, Irene Garrigós, Peter Pless...
MASCOTS
2004
15 years 8 months ago
Reliable Response Delivery in Peer-to-Peer Systems
Unstructured peer-to-peer (P2P) system is the prevalent model in today's P2P system. In such systems, a response is sent along the same path that carried the incoming query m...
Xiaomei Liu, Yunhao Liu, Li Xiao
194
Voted
ACTA
2010
191views more  ACTA 2010»
15 years 7 months ago
Automata-based verification of programs with tree updates
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
Peter Habermehl, Radu Iosif, Tomás Vojnar
198
Voted
CORR
2010
Springer
174views Education» more  CORR 2010»
15 years 6 months ago
Gaussian Process Bandits for Tree Search
We motivate and analyse a new Tree Search algorithm, based on recent advances in the use of Gaussian Processes for bandit problems. We assume that the function to maximise on the ...
Louis Dorard, John Shawe-Taylor
WINET
2010
158views more  WINET 2010»
15 years 5 months ago
Joint multi-cost routing and power control in wireless ad hoc networks
Abstract In this work we study the combination of multicost routing and adjustable transmission power in wireless ad hoc networks, so as to obtain dynamic energy- and interference-...
Nikolaos Karagiorgas, Panagiotis C. Kokkinos, Chri...