2470 search results - page 303 / 494 » Liveness-Preserving Simulation Relations |
118
click to vote
ICTAI
2007
IEEE
15 years 11 months ago
2007
IEEE
In this work we report results on the use of symbolic knowledge representation and reasoning (KRR) for perceptual anchoring. This is the creation and maintenance of a connection b...
142
Voted
IPCCC
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper proposes an efficient chaos-reducing information dissemination approach for spatiotemporal traffic information related to first responders and planned evacuation scenar...
143
click to vote
ISBI
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper focuses on the detection and segmentation of multiple sclerosis (MS) lesions in magnetic resonance images. The proposed method performs healthy tissue segmentation usin...
148
click to vote
ISCAS
2007
IEEE
15 years 11 months ago
2007
IEEE
—CMOS radio receiver architectures, based on radio frequency (RF) sampling followed by discrete-time (D-T) signal processing via switched-capacitor circuits, have recently been p...
100
Voted
ISCAS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Parallel time-interleaved analog-to-digital converters (TIADCs) are an attractive architecture to realize low-power and high-speed data conversion. As a drawback of suc...