Sciweavers

4693 search results - page 356 / 939
» Verifying Hybrid Systems
Sort
View
ICRA
2010
IEEE
185views Robotics» more  ICRA 2010»
15 years 5 months ago
MOPED: A scalable and low latency object recognition and pose estimation system
— The latency of a perception system is crucial for a robot performing interactive tasks in dynamic human environments. We present MOPED, a fast and scalable perception system fo...
Manuel Martinez, Alvaro Collet, Siddhartha S. Srin...
INFOCOM
2006
IEEE
16 years 24 days ago
An Interfererence Minimization and Predictive Location Based Relaying for Ad-Hoc Cellular Systems
— we propose a predictive location based relaying for hybrid cellular and ad-hoc systems that can provide interference minimization to uplink transmission. Location Information S...
Tae Sung Kim, Young Yong Kim
ETFA
2005
IEEE
16 years 11 days ago
Quantized optimal control of discrete-time systems
In this paper we consider a quantized discrete-time linear quadratic regulator (DLQR) problem, namely a DLQR problem where the input u may only take values in a given finite set ...
Daniele Corona, Alessandro Giua, Carla Seatzu
ITS
2004
Springer
170views Multimedia» more  ITS 2004»
16 years 3 days ago
Inducing Optimal Emotional State for Learning in Intelligent Tutoring Systems
Emotions play an important role in cognitive processes and specially in learning tasks. Moreover, there are some evidences that the emotional state of the learner correlated with h...
Soumaya Chaffar, Claude Frasson
GECCO
2003
Springer
120views Optimization» more  GECCO 2003»
15 years 12 months ago
Multi-FPGA Systems Synthesis by Means of Evolutionary Computation
Abstract. Multi-FPGA systems (MFS) are used for a great variety of applications, for instance, dynamically re-configurable hardware applications, digital circuit emulation, and num...
José Ignacio Hidalgo, Francisco Ferná...