Sciweavers

2152 search results - page 356 / 431
» On Automating the Calculus of Relations
Sort
View
109
Voted
ICSM
2006
IEEE
15 years 6 months ago
Supporting Collaborative Development in an Open MDA Environment
The MDA approach aims to ease software maintenance faced with platform and business evolution. In this approach, main development artifacts, i.e. models, are defined with the Meta...
Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gerv...
77
Voted
IROS
2006
IEEE
113views Robotics» more  IROS 2006»
15 years 6 months ago
Localization of avalanche victims using robocentric SLAM
— A person buried by a snow avalanche can be found by measuring the magnetic field generated by an avalanche beacon or ARVA carried by the victim. However, the signals received ...
Pedro Pinies, Juan D. Tardós, José N...
ADMA
2006
Springer
150views Data Mining» more  ADMA 2006»
15 years 6 months ago
Web Scale Competitor Discovery Using Mutual Information
Abstract. The web with its rapid expansion has become an excellent resource for gathering information and people’s opinion. A company owner wants to know who is the competitor, a...
Rui Li, Shenghua Bao, Jin Wang, Yuanjie Liu, Yong ...
78
Voted
ASPDAC
2006
ACM
95views Hardware» more  ASPDAC 2006»
15 years 6 months ago
Physical design implementation of segmented buses to reduce communication energy
Abstract— The amount of energy consumed for interconnecting the IP-blocks is increasing significantly due to the suboptimal scaling of long wires. To limit this energy penalty, ...
Jin Guo, Antonis Papanikolaou, Pol Marchal, Franck...
PLDI
2006
ACM
15 years 6 months ago
Correctness-preserving derivation of concurrent garbage collection algorithms
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
Martin T. Vechev, Eran Yahav, David F. Bacon