3718 search results - page 159 / 744 » IMPS: System Description |
121
click to vote
ICEIS
2003
IEEE
15 years 10 months ago
2003
IEEE
d graphically, interest in code generators which create applications based on abstract system descriptions, is high. An indicator for this are the many commercial products. This pa...
122
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
The goal of the research is twofold First, the derivation of a design methodology for FIR filters implementation based on Residue Number System (RNS), aiming at power, delay and h...
128
click to vote
ICRA
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a trinocular stereo algorithm that we have developed as part of an obstacle detection system that detects small obstacles at long range on the highway. We desc...
145
click to vote
APAL
2006
15 years 4 months ago
2006
By a well-known result of Cook and Reckhow [4, 12], all Frege systems for the Classical Propositional Calculus (CPC) are polynomially equivalent. Mints and Kojevnikov [11] have re...
109
click to vote
ENGL
2007
15 years 4 months ago
2007
—This paper deals with stabilization of LTI switched systems with input time delay. A description of systems’ stabilization is presented. Common Lyapunov function is introduced...