Buscar recursos académicos

"Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software...

This work presents a systematic literature review on the application of Machine Learning algorithms in the development of effective movie recommender systems. With the increasing popularity of movie recommender systems i...

"This article proposes an integrated navigation system for multiple micro aerial vehicles flying in formation. A data fusion algorithm uses measurements from an inertial measurement unit, a GPS receiver, and a camera all...