Sciweavers

3702 search results - page 660 / 741
» All Pairings Are in a Group
Sort
View
IJMMS
2010
161views more  IJMMS 2010»
15 years 4 months ago
Persuasive robotic assistant for health self-management of older adults: Design and evaluation of social behaviors
Daily health self-management, such as the harmonization of food, exercise and medication, is a major problem for a large group of older adults with obesity or diabetics. Computer-...
Rosemarijn Looije, Mark A. Neerincx, Fokie Cnossen
INFSOF
2010
100views more  INFSOF 2010»
15 years 4 months ago
Investigating the impact of a measurement program on software quality
Context: Measurement programs have been around for several decades but have been often misused or misunderstood by managers and developers. This misunderstanding prevented their a...
Houari A. Sahraoui, Lionel C. Briand, Yann-Gaë...
JSYML
2010
107views more  JSYML 2010»
15 years 4 months ago
A proof of completeness for continuous first-order logic
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
Arthur Paul Pedersen, Itay Ben-Yaacov
VTC
2010
IEEE
177views Communications» more  VTC 2010»
15 years 4 months ago
Randomized Robot-Assisted Relocation of Sensors for Coverage Repair in Wireless Sensor Networks
—In wireless sensor networks (WSN), stochastic node dropping and unpredictable node failure greatly impair coverage, creating sensing holes, while locally redundant sensors exist...
Greg Fletcher, Xu Li, Amiya Nayak, Ivan Stojmenovi...
WG
2010
Springer
15 years 4 months ago
Network Exploration by Silent and Oblivious Robots
In this paper we investigate the basic problem of Exploration of a graph by a group of identical mobile computational entities, called robots, operating autonomously and asynchrono...
Jérémie Chalopin, Paola Flocchini, B...