Sciweavers

309 search results - page 41 / 62
» Applied Multi-Dimensional Fusion
Sort
View
HICSS
2002
IEEE
91views Biometrics» more  HICSS 2002»
14 years 1 months ago
Global Ebusiness IT Governance: Radical Re-directions
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 ...
Nandish V. Patel
PADO
2001
Springer
14 years 1 months ago
Type Systems for Useless-Variable Elimination
nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...
Adam Fischbach, John Hannan
ROBOCUP
2001
Springer
141views Robotics» more  ROBOCUP 2001»
14 years 1 months ago
5dpo Team Description
. 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...
ICRA
2000
IEEE
121views Robotics» more  ICRA 2000»
14 years 12 days ago
Using Multiple Gaussian Hypotheses to Represent Probability Distributions for Mobile Robot Localization
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....
David J. Austin, Patric Jensfelt
MPC
1995
Springer
116views Mathematics» more  MPC 1995»
14 years 10 days ago
Computer-Aided Computing
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...
Natarajan Shankar