Sciweavers

691 search results - page 87 / 139
» An Implementation of Robot Formations using Local Interactio...
Sort
View
ICAS
2009
IEEE
148views Robotics» more  ICAS 2009»
15 years 4 months ago
An Observation Framework for Multi-agent Systems
Existing middleware platforms for multi-agent systems (MAS) do not provide general support for observation. On the other hand, observation is considered to be an important mechani...
Joonas Kesaniemi, Artem Katasonov, Vagan Y. Terziy...
FOSSACS
2000
Springer
15 years 1 months ago
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
Kai Engelhardt, Ron van der Meyden, Yoram Moses
ICC
2007
IEEE
168views Communications» more  ICC 2007»
15 years 1 months ago
Centralized Radio Resource Allocation for OFDMA Cellular Systems
Efficient resource allocation in cellular OFDMA systems envisages the assignment of the number of subcarriers and the relative transmission format on the basis of the experimented ...
Andrea Abrardo, Alessandro Alessio, Paolo Detti, M...
HUC
2010
Springer
14 years 8 months ago
Vehicular speed estimation using received signal strength from mobile phones
This paper introduces an algorithm that estimates the speed of a mobile phone by matching time-series signal strength data to a known signal strength trace from the same road. Kno...
Gayathri Chandrasekaran, Tam Vu, Alexander Varshav...
INTERNET
2006
156views more  INTERNET 2006»
14 years 9 months ago
Service Mosaic: A Model-Driven Framework for Web Services Life-Cycle Management
Web services provide abstractions for simplifying integration at lower levels of the interaction stacks, they don't yet help simplify integration at higher abstraction levels ...
Boualem Benatallah, Fabio Casati, Farouk Toumani, ...