Sciweavers

8197 search results - page 430 / 1640
» Adaptive functional programming
Sort
View
ICRA
2009
IEEE
100views Robotics» more  ICRA 2009»
15 years 4 months ago
Multi-robot plan adaptation by constrained minimal distortion feature mapping
We propose a novel method for multi-robot plan adaptation which can be used for adapting existing spatial plans of robotic teams to new environments or imitating collaborative spat...
Bálint Takács, Yiannis Demiris
ICUMT
2009
15 years 4 months ago
Coverage and adaptive scheduling algorithms for criticality management on video wireless sensor networks
In WSN-based surveillance systems power conservation is an important issue but one must also ensure that the application's objectives are met. In this paper, we jointly addres...
Abdallah Makhoul, Rachid Saadi, CongDuc Pham
ICASSP
2011
IEEE
14 years 10 months ago
Analysis of adaptive feedback and echo cancelation algorithms in a general multiple-microphone and single-loudspeaker system
In this paper, we analyze a general multiple-microphone and singleloudspeaker system, where an adaptive algorithm is used to cancel acoustic feedback/echo and a beamformer process...
Meng Guo, Thomas Bo Elmedyb, Søren Holdt Je...
POPL
2009
ACM
16 years 7 months ago
Static contract checking for Haskell
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
Dana N. Xu, Simon L. Peyton Jones, Koen Claessen
ICFP
2005
ACM
16 years 6 months ago
Witnessing side-effects
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
Tachio Terauchi, Alexander Aiken