Stephen P. Linder

  • Citations Per Year
Learn More
Our educational system must nurture a student’s ability to acquire knowledge. Research has proven that active learning, learning promoted by interacting with one’s environment, as opposed to lectures, is most effective in developing a students ability to acquire knowledge. In the computer science domain, active learning can be facilitated by using mobile(More)
|An algorithm is presented for tracking a landing aircraft using fusion of two diierent passive sensors, a laser range nder (LRF) and a forward-looking infrared (FLIR) camera. The main feature of this algorithm is its ability to identify and compensate for an exhaust plume disturbance. The algorithm is based on the extended Kalman lter (EKF) and the ltering(More)
Symbolic reasoning about continuous dynamic systems requires consistent qualitative abstraction functions and a consistent symbolic model. Classically, symbolic reasoning systems have utilized a box partition of the system space to achieve qualitative abstraction, but boxes can not provide a consistent abstraction. Our Q2 methodology abstracts a provably(More)
Symbolic reasoning about continuous dynamic systems requires consistent qualitative abstraction functions and a consistent symbolic model. Classically, symbolic reasoning systems have utilized a box partition of the system space to achieve qualitative abstraction, but boxes can not provide a consistent abstraction. Our Q methodology abstracts a provably(More)
  • 1