70 search results - page 13 / 14 » Visual Scenarios for Validation of Requirements Specificatio... |
ICALP
2000
Springer
13 years 8 months ago
2000
Springer
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...
BMVC
2010
13 years 3 months ago
2010
Multi-camera systems are more and more used in vision-based robotics. An accurate extrinsic calibration is usually required. In most of cases, this task is done by matching featur...
EOR
2010
13 years 5 months ago
2010
Abstract: Probabilistically constrained problems, in which the random variables are finitely distributed, are nonconvex in general and hard to solve. The p-efficiency concept has b...
ICMCS
2009
IEEE
13 years 3 months ago
2009
IEEE
Abstract--Recent advances in wireless sensor technology facilitate the development of remote healthcare systems, which can significantly reduce the healthcare cost. Despite the ini...
PATMOS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...