Sciweavers

945 search results - page 97 / 189
» Evolving Symbolic Controllers
Sort
View
ICRA
2008
IEEE
130views Robotics» more  ICRA 2008»
15 years 4 months ago
A natural gesture interface for operating robotic systems
Abstract— A gesture-based interaction framework is presented for controlling mobile robots. This natural interaction paradigm has few physical requirements, and thus can be deplo...
Anqi Xu, Gregory Dudek, Junaed Sattar
GLOBECOM
2006
IEEE
15 years 4 months ago
Capacity Analysis of Downlink CDMA Systems with Quasi-Orthogonal Sequences
— We analyze the user capacity of downlink CDMA systems with quasi-orthogonal sequences(QOSs) considering various system parameters, such as user activity, spreading factor, the ...
Sung Soo Cho, Bang Chul Jung, Dan Keun Sung
SAGA
2001
Springer
15 years 2 months ago
Yet Another Local Search Method for Constraint Solving
We propose a generic, domain-independent local search method called adaptive search for solving Constraint Satisfaction Problems (CSP). We design a new heuristics that takes advan...
Philippe Codognet, Daniel Diaz
RTSS
1999
IEEE
15 years 2 months ago
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinks...
FORMATS
2009
Springer
15 years 1 months ago
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
Peter Bulychev, Thomas Chatain, Alexandre David, K...