367 search results - page 28 / 74 » Industrial validation of COVAMOF |
ICIAR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We address the validation of the current sensed environmental state against a model known from earlier perception. Our surface based approach compares 3D range data of a ...
156
click to vote
TACAS
1997
Springer
15 years 6 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
100
click to vote
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
For a logic design with level-sensitive latches, we need to validate timing signal paths which may flush through several latches. We developed efficient algorithms based on the mo...
PROFES
2000
Springer
15 years 5 months ago
2000
Springer
Building common ontologies, setting up measurement programs, and conducting interviews are valid techniques to start eliciting knowledge and experience for later reuse. However, th...
121
click to vote
MMNS
2000
15 years 3 months ago
2000
: Growing dependence of commerce, industry and academia on the Internet underlines importance of analyzing its behavior. Changing Internet structure makes the gathered data quickly...