Sciweavers

1742 search results - page 137 / 349
» An Applicative Module Calculus
Sort
View
151
Voted
LICS
1991
IEEE
15 years 4 months ago
On the Deduction Rule and the Number of Proof Lines
d Abstract) Maria Luisa Bonet∗ Samuel R. Buss∗ Department of Mathematics Department of Mathematics U.C. Berkeley U.C. San Diego Berkeley, California 94720 La Jolla, California ...
Maria Luisa Bonet, Samuel R. Buss
WMCSA
2002
IEEE
15 years 5 months ago
A Platform Supporting Coordinated Adaptation in Mobile Systems
Mobile environments are highly dynamic, characterised by frequent and sudden changes in resource availability. As a consequence, adaptive mobile applications need to be capable of...
Christos Efstratiou, Adrian Friday, Nigel Davies, ...
KIVS
2009
Springer
15 years 7 months ago
Query Processing and System-Level Support for Runtime-Adaptive Sensor Networks
We present an integrated approach for supporting in-network sensor data processing in dynamic and heterogeneous sensor networks. The concept relies on data stream processing techni...
Falko Dressler, Rüdiger Kapitza, Michael Daum...
93
Voted
ISCAS
2008
IEEE
183views Hardware» more  ISCAS 2008»
15 years 7 months ago
Optimal rate allocation for scalable video multicast over WiMAX
—The IEEE 802.16 standard (commonly known as WiMAX), which has been proposed as a new wireless broadband standard, is capable of delivering very high data rate and covering wide ...
Hsin-Yu Chi, Chia-Wen Lin, Yung-Chang Chen, Chih-M...
92
Voted
IJCNN
2006
IEEE
15 years 6 months ago
Bi-directional Modularity to Learn Visual Servoing Tasks
— This paper shows the advantage of using neural network modularity over conventional learning schemes to approximate complex functions. Indeed, it is difficult for artificial ...
Gilles Hermann, Patrice Wira, Jean-Philippe Urban