A critical aspect of global ebusiness information technology (IT) governance is ensuring that it is integrated and that it enables economic viability of a company. Poorly thought ...
. 5dpo is a team created in 1998 in the Faculty of Engineering of the University of Porto in Portugal. The team regularly participates in RoboCup middle-size and small size leagues...
Paulo Costa, Armando Sousa, Paulo Marques, Pedro C...
A new mobile robot localization technique is presented which uses multiple Gaussian hypotheses to represent the probability distribution of the robots location in the environment....
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...