1860 search results - page 189 / 372 » A Temporal Logic of Robustness |
119
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
Classes issued of evolving systems are dynamic and their characteristics vary over the time. Assigning a pattern to a class is achieved using a classifier. Therefore, the classifie...
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
ISCAS
1995
IEEE
15 years 5 months ago
1995
IEEE
We describe an algorithm and chip implementation for separating a mixture of unknown, but independent, temporal signals in static and dynamic environments. The proposed algorithm,...
148
click to vote
FTCS
1998
15 years 3 months ago
1998
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...
ICVGIP
2008
15 years 3 months ago
2008
This paper proposes efficient and robust methods for tracking a moving object at multiple spatial and temporal resolution levels. The efficiency comes from optimising the amounts ...