Sciweavers

403 search results - page 11 / 81
» A testing scenario for probabilistic processes
Sort
View
SEFM
2008
IEEE
14 years 1 months ago
Tagging Make Local Testing of Message-Passing Systems Feasible
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
Puneet Bhateja, Madhavan Mukund
DATE
2009
IEEE
151views Hardware» more  DATE 2009»
14 years 2 months ago
pTest: An adaptive testing tool for concurrent software on embedded multicore processors
—More and more processor manufacturers have launched embedded multicore processors for consumer electronics products because such processors provide high performance and low powe...
Shou-Wei Chang, Kun-Yuan Hsieh, Jenq Kuen Lee
IROS
2007
IEEE
176views Robotics» more  IROS 2007»
14 years 1 months ago
Handling uncertainty in semantic-knowledge based execution monitoring
— Executing plans by mobile robots, in real world environments, faces the challenging issues of uncertainty and environment dynamics. Thus, execution monitoring is needed to veri...
Abdelbaki Bouguerra, Lars Karlsson, Alessandro Saf...
DAGM
2001
Springer
13 years 12 months ago
A Probabilistic Approach to Simultaneous Segmentation, Object Recognition, 3D Localization, and Tracking Using Stereo
Vision systems for service robotics applications have to cope with varying environmental conditions, partial occlusions, complex backgrounds and a large number of distractors (clut...
Georg von Wichert
ICCV
2007
IEEE
14 years 9 months ago
Active Learning with Gaussian Processes for Object Categorization
Discriminative methods for visual object category recognition are typically non-probabilistic, predicting class labels but not directly providing an estimate of uncertainty. Gauss...
Ashish Kapoor, Kristen Grauman, Raquel Urtasun, Tr...