3028 search results - page 321 / 606 » Integrating Temporal Logics |
181
click to vote
ISCI
2007
15 years 6 months ago
2007
Fusion of sensor and communication data currently can only be performed at a late processing stage after sensor and information are formulated as logical statements at appropriate...
152
click to vote
CBMS
2007
IEEE
16 years 1 months ago
2007
IEEE
A major challenge for ontology integration is to deal with inconsistencies. Existing merging tools are based on classical logic and are forced to avoid inconsistencies (to prevent...
158
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
We propose a subpixel registration algorithm to deal with the motion induced by breathing for renal perfusion MR image sequences. Our approach minimizes an energy functional that ...
154
click to vote
DSRT
2008
IEEE
16 years 1 months ago
2008
IEEE
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
166
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a single chip implementation of a space-time algorithm for co-channel interference (CCI) and intersymbol interference (ISI) reduction in GSM/DCS systems. The t...