Sciweavers

4666 search results - page 97 / 934
» Equations on Timed Languages
Sort
View
ICALP
2004
Springer
15 years 10 months ago
Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas
Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsy...
ISIPTA
2003
IEEE
117views Mathematics» more  ISIPTA 2003»
15 years 10 months ago
Dynamic Programming for Discrete-Time Systems with Uncertain Gain
We generalise the optimisation technique of dynamic programming for discretetime systems with an uncertain gain function. We assume that uncertainty about the gain function is des...
Gert de Cooman, Matthias C. M. Troffaes
ICRA
2000
IEEE
110views Robotics» more  ICRA 2000»
15 years 9 months ago
An Implicit Time-Stepping Scheme for Rigid Body Dynamics with Coulomb Friction
In this paper a new time-stepping method for simulating systems of rigid bodies is given. Unlike methods which take an instantaneous point of view, our method is based on impulse-m...
David E. Stewart, Jeffrey C. Trinkle
CORR
2007
Springer
105views Education» more  CORR 2007»
15 years 5 months ago
On Real-Time Communication Systems with Noisy Feedback
— We consider a real--time communication system with noisy feedback consisting of a Markov source, a forward and a backward discrete memoryless channels, and a receiver with fin...
Aditya Mahajan, Demosthenis Teneketzis