Sciweavers

1653 search results - page 137 / 331
» Directed tree-width examples
Sort
View
147
Voted
ICRA
2010
IEEE
101views Robotics» more  ICRA 2010»
15 years 11 days ago
Multirobot coordination by auctioning POMDPs
— We consider the problem of task assignment and execution in multirobot systems, by proposing a procedure for bid estimation in auction protocols. Auctions are of interest to mu...
Matthijs T. J. Spaan, Nelson Gonçalves, Jo&...
125
Voted
IJSNET
2010
103views more  IJSNET 2010»
15 years 9 days ago
Quality-aware sensor data collection
: Many sensor applications often require to collect raw sensed values from many sensor nodes to one centralized server. Sensor data collection typically comes with various quality ...
Qi Han, Doug Hakkarinen, Pruet Boonma, Junichi Suz...
JSAC
2010
120views more  JSAC 2010»
15 years 8 days ago
A simple and scalable algorithm for alignment in broadcast networks
We consider the problem of coordinating a group of mobile nodes communicating through a wireless medium. The objective of the network is the alignment of all the nodes towards a c...
Roberto Pagliari, Mehmet E. Yildiz, Shrut Kirti, K...
68
Voted
SIAMAM
2010
79views more  SIAMAM 2010»
15 years 7 days ago
On the Determination of the Boundary Impedance from the Far Field Pattern
We consider the Helmholtz equation in the half space and suggest two methods for determining the boundary impedance from knowledge of the far field pattern of the time-harmonic in...
Yuri A. Godin, Boris Vainberg
CIE
2010
Springer
15 years 5 days ago
Proofs, Programs, Processes
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
Ulrich Berger, Monika Seisenberger