3381 search results - page 135 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
154
click to vote
ENTCS
2007
15 years 6 months ago
2007
We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning...
200
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
In domains like confocal microscopy, the imaging process is based on detection of photons. It is established the additive Gaussian noise model is a poor description of the actual ...
156
click to vote
WIAMIS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we consider the challenging problem of object duplicate detection and localization. Several applications require efficient object duplicate detection methods, such ...
233
click to vote
IROS
2006
IEEE
16 years 14 days ago
2006
IEEE
— An important competence for a mobile robot system is the ability to localize and perform context interpretation. This is required to perform basic navigation and to facilitate ...
200
click to vote
JUCS
2010
15 years 1 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...