Sciweavers

1972 search results - page 319 / 395
» Testing Mobile and Distributed Systems: Method and Experimen...
Sort
View
ICRA
2010
IEEE
104views Robotics» more  ICRA 2010»
15 years 2 months ago
Multi-camera object detection for robotics
— Robust object detection is a critical skill for robotic applications in complex environments like homes and offices. In this paper we propose a method for using multiple camer...
Adam Coates, Andrew Y. Ng
AIMS
2008
Springer
15 years 6 months ago
Entwined Influences of Users' Behaviour and QoS: A Multi-model Approach
In distributed, dynamic networks and applications, such as Peer-to-Peer (P2P), users'behaviour and quality of service/quality of experiment1 are known to influence each other....
Julien Siebert, Vincent Chevrier, Laurent Ciarlett...
AMOST
2007
ACM
15 years 8 months ago
Using LTL rewriting to improve the performance of model-checker based test-case generation
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
Gordon Fraser, Franz Wotawa
BMCBI
2007
152views more  BMCBI 2007»
15 years 4 months ago
Recodon: Coalescent simulation of coding DNA sequences with recombination, migration and demography
Background: Coalescent simulations have proven very useful in many population genetics studies. In order to arrive to meaningful conclusions, it is important that these simulation...
Miguel Arenas, David Posada
TON
2008
136views more  TON 2008»
15 years 3 months ago
A geometric approach to improving active packet loss measurement
Abstract-- Measurement and estimation of packet loss characteristics are challenging due to the relatively rare occurrence and typically short duration of packet loss episodes. Whi...
Joel Sommers, Paul Barford, Nick G. Duffield, Amos...