Sciweavers

4270 search results - page 419 / 854
» A Permutation Approach to Validation
Sort
View
FDL
2008
IEEE
15 years 7 months ago
MARTE-based Design of a Multimedia Application and Formal Analysis
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc...
AROBOTS
2010
111views more  AROBOTS 2010»
15 years 7 months ago
Elastic roadmaps - motion generation for autonomous mobile manipulation
The autonomous execution of mobile manipulation tasks in unstructured, dynamic environments requires the consideration of various motion constraints. The task itself imposes constr...
Yuandong Yang, Oliver Brock
CORR
2010
Springer
89views Education» more  CORR 2010»
15 years 7 months ago
LPKI - A Lightweight Public Key Infrastructure for the Mobile Environments
The non-repudiation as an essential requirement of many applications can be provided by the asymmetric key model. With the evolution of new applications such as mobile commerce, it...
Mohsen Toorani, Ali Asghar Beheshti Shirazi
CORR
2010
Springer
146views Education» more  CORR 2010»
15 years 7 months ago
GRASP for the Coalition Structure Formation Problem
Abstract. The coalition structure formation problem represents an active research area in multi-agent systems. A coalition structure is defined as a partition of the agents involve...
Nicola Di Mauro, Teresa Maria Altomare Basile, Ste...
CORR
2008
Springer
99views Education» more  CORR 2008»
15 years 6 months ago
A New Trend in Optimization on Multi Overcomplete Dictionary toward Inpainting
1 Recently, great attention was intended toward overcomplete dictionaries and the sparse representations they can provide. In a wide variety of signal processing problems, sparsity...
Seyyed Majid Valiollahzadeh, Mohammad Nazari, Mass...