4693 search results - page 639 / 939 » Verifying Hybrid Systems |
158
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a calibration procedure to determine the kinematic parameters of an active stereo system in a robot-centric frame of reference. Our goal was to obtain a solution of suļ...
152
Voted
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
A variation of the differential steepest descent algorithm, here called the dithered linear search (DLS), is examined and applied to analog filter adaptation. The DLS algorithm is...
187
click to vote
ISPAN
1999
IEEE
15 years 11 months ago
1999
IEEE
For an effective Internet-based distributed parallel computing platform, Java-Internet Computing Environment (JICE) is designed and implemented with multithreading and remote meth...
174
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
We deļ¬ne an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
177
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...