Sciweavers

4631 search results - page 336 / 927
» Experiences with an Environment Generation System
Sort
View
JDCTA
2010
172views more  JDCTA 2010»
15 years 1 months ago
Performance Test of An Embedded Real-Time Operating System Based on A New High-Security NetWork Computer
Performance indexes of the embedded real-time operating system are not isolated but interacting with each other. Two sets of elements aiming to describe the relationship between t...
Gengxin Sun, Fengjing Shao Name, Sheng Bin
CAV
2012
Springer
251views Hardware» more  CAV 2012»
13 years 9 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
IROS
2009
IEEE
149views Robotics» more  IROS 2009»
16 years 1 months ago
Mutual localization in a multi-robot system with anonymous relative position measures
— We address the mutual localization problem for a multi-robot system, under the assumption that each robot is equipped with a sensor that provides a measure of the relative posi...
Antonio Franchi, Giuseppe Oriolo, Paolo Stegagno
ICMCS
2007
IEEE
124views Multimedia» more  ICMCS 2007»
16 years 1 months ago
Robust Video Object Segmentation Based on K-Means Background Clustering and Watershed in Ill-Conditioned Surveillance Systems
A robust video object segmentation algorithm for complex conditions in surveillance systems is proposed in this paper. This algorithm contains an unsupervised K-Means background c...
Tse-Wei Chen, Shou-Chieh Hsu, Shao-Yi Chien
APSEC
2005
IEEE
16 years 12 days ago
Systematic Use Case Interviews for Specification of Automotive Systems
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...
Shariful Islam, Hannes Omasreiter