2801 search results - page 199 / 561 » On the Adequateness of the Connection Method |
147
click to vote
FDL
2005
IEEE
16 years 4 days ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
146
click to vote
ICRA
2005
IEEE
16 years 3 days ago
2005
IEEE
— We present a localization method for robots equipped with only a compass, a contact sensor and a map of the environment. In this framework, a localization strategy can be descr...
149
click to vote
ISI
2003
Springer
15 years 11 months ago
2003
Springer
Understanding the data gathered thus far in a criminal investigation is of great importance, particularly in terms of guiding its future course. One established method of comprehen...
163
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
A method for modeling complex CMOS gates by the reduction of each gate to an effective equivalent inverter is introduced. The conducting and parasitic behavior of parallel and ser...
191
click to vote
ISSS
1998
IEEE
15 years 10 months ago
1998
IEEE
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...