Sciweavers

4670 search results - page 290 / 934
» Testing that distributions are close
Sort
View
JSAC
2006
69views more  JSAC 2006»
15 years 6 months ago
Signal model and receiver algorithms for a transmit-reference ultra-wideband communication system
A communication system based on transmit-reference (TR) ultra-wideband (UWB) is studied and further developed. Introduced by Hoctor and Tomlinson, the aim of the TR-UWB transceiver...
Q. H. Dang, Antonio Trindade, Alle-Jan van der Vee...
FMSD
1998
60views more  FMSD 1998»
15 years 6 months ago
The General Product Machine: a New Model for Symbolic FSM Traversal
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Pa...
NETWORKS
2007
15 years 6 months ago
Models and branch-and-cut algorithms for pickup and delivery problems with time windows
In the pickup and delivery problem with time windows (PDPTW), capacitated vehicles must be routed to satisfy a set of transportation requests between given origins and destination...
Stefan Ropke, Jean-François Cordeau, Gilber...
JUCS
2010
143views more  JUCS 2010»
15 years 5 months ago
Design of Arbiters and Allocators Based on Multi-Terminal BDDs
: Assigning one (more) shared resource(s) to several requesters is a function of arbiters (allocators). This class of decision-making modules can be implemented in a number of ways...
Václav Dvorák, Petr Mikusek
ICRA
2009
IEEE
156views Robotics» more  ICRA 2009»
15 years 4 months ago
An explorative study of visual servo control with insect-inspired Reichardt-model
In this paper, an insect-inspired motion detector (Reichardt-model) is applied to visual servo control to ensure the stability of the system with high gain and time delay in its fe...
Haiyan Wu, Tianguang Zhang, Alexander Borst, Kolja...