Sciweavers

3731 search results - page 328 / 747
» Reduct Generation in Information Systems
Sort
View
214
Voted
IROS
2007
IEEE
250views Robotics» more  IROS 2007»
16 years 1 months ago
Multi-cue 3D object recognition in knowledge-based vision-guided humanoid robot system
— A vision based object recognition subsystem on knowledge-based humanoid robot system is presented. Humanoid robot system for real world service application must integrate an ob...
Kei Okada, Mitsuharu Kojima, Satoru Tokutsu, Toshi...
205
Voted
CODES
1999
IEEE
15 years 11 months ago
System synthesis utilizing a layered functional model
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
Ingo Sander, Axel Jantsch
ATAL
2008
Springer
15 years 9 months ago
An adaptive and customizable feedback system for VR-based training simulators
This paper describes a proposal to build an intelligent feedback selection system for Virtual Reality-based training simulators. The system is aimed at generating multimodal feedb...
Maite Lopez-Garate, Alberto Lozano-Rodero, Luis M....
CORR
2006
Springer
92views Education» more  CORR 2006»
15 years 7 months ago
Performance of STBC MC-CDMA systems over outdoor realistic MIMO channels
This paper deals with orthogonal Space-Time Block Coded MC-CDMA systems, in outdoor realistic downlink scenarios with up to two transmit and receive antennas. Assuming no channel s...
Fabrice Portier, Jean-Yves Baudais, Jean-Fran&cced...
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 5 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...