2203 search results - page 132 / 441 » Temporal Abstract Interpretation |
93
Voted
WCNC
2008
IEEE
15 years 10 months ago
2008
IEEE
—Temporal-Angular channel sounding measurements of an indoor millimeter wave channel (60 GHz) is analyzed to determine whether ray arrivals at the receiver form clusters in the t...
122
Voted
IDA
2003
Springer
15 years 8 months ago
2003
Springer
Because uncertain reasoning is often intractable, it is hard to reason with a large amount of knowledge. One solution to this problem is to specify a set of possible models, some s...
164
Voted
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
127
Voted
BIB
2008
15 years 3 months ago
2008
Biology, chemistry and medicine are faced by tremendous challenges caused by an overwhelming amount of data and the need for rapid interpretation. Computational intelligence (CI) ...
165
Voted
AMIRE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce mathematically rigorous metrics on agent experiences having various temporal horizons. Sensorimotor variables accessible to the agent are treated as informat...