5015 search results - page 577 / 1003 » Model Checking a Path |
214
click to vote
ICRA
2005
IEEE
2005
IEEE
An Integrated Spatial Path-planning and Controller Design Approach for a Hover-mode Helicopter Model
16 years 14 days ago
— The objective of this paper is to design a controller based on a nonlinear hover-mode model for a helicopter, which can be seamlessly integrated in an existing spatial path-pla...
183
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Due to the increasing operating frequencies and the manner in which the corresponding integrated circuits and systems must be designed, the extraction, modeling and simulation of ...
195
Voted
DAS
2006
Springer
15 years 10 months ago
2006
Springer
The research on offline handwritten Arabic character recognition has received more and more attention in recent years, because of the increasing needs of Arabic document digitizati...
157
click to vote
USS
2008
15 years 9 months ago
2008
One of the most critical steps of any security review involves identifying the trust boundaries that an application is exposed to. While methodologies such as threat modeling can ...
140
Voted
ECIS
2004
15 years 8 months ago
2004
Within the last few years, knowledge management has become one of the hottest subjects among organisational and information systems theorists and practitioners. Many find in it an...