11973 search results - page 410 / 2395 » Methods for organizational development |
174
click to vote
MVA
2000
15 years 8 months ago
2000
We propose an automatic monitoring system which detects and tracks intruders, using a pan-tiltzoom camera. Detection is based on a background subtraction method which detects the ...
145
click to vote
ECBS
2005
IEEE
16 years 13 days ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
174
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses the issue of developing a motion planning algorithm for a general class of modular mobile robots. A modular mobile robot is essentially a reconfigurable robo...
184
click to vote
FASE
1999
Springer
15 years 11 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
166
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...