BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
formal (3)
model (3)
radar (2)
indic (2)
detect (2)

Stem echo$ (all stems)

14 papers:

Expert voices in echo chambers: effects of source expertise indicators on exposure to diverse opinions (QVL, WTF), pp. 2745–2754.
Can you hear me now?: mitigating the echo chamber effect by source position indicators (QVL, WTF), pp. 184–196.
Model repair and transformation with Echo (NM, TG, AC), pp. 694–697.
CHICHI-2013-IsaacsKWLHW #how
Echoes from the past: how technology mediated reflection improves well-being (EI, AK, AW, TL, VH, SW), pp. 1071–1080.
CASECASE-2012-YanG #estimation #physics
Time-delay estimation of ultrasonic echoes based on the physical model matching (XY, LG), pp. 469–473.
Disease-Specific Extraction of Text from Cardiac Echo Videos for Decision Support (TFSM, DB, AA), pp. 1290–1294.
AdaSIGAda-2009-Knight #ada #approach #named #verification
Echo: a new approach to formal verification based on Ada (JK), pp. 85–86.
ICSEICSE-2006-Yin #approach #verification
The echo approach to formal verification (XY), pp. 981–984.
LCTESLCTES-2005-BriskMNS #taxonomy
A dictionary construction technique for code compression systems with echo instructions (PB, JM, AN, MS), pp. 105–114.
DATEDATE-DF-2004-KruppMO #model checking #refinement
Formal Refinement and Model Checking of an Echo Cancellation Unit (AK, WM, IO), pp. 102–107.
SACSAC-2003-FrumentoBG #community #design #web
Echo-Cardiography on the Web: Design and Set-Up of a Virtual Community of Experts (EF, EB, LG), pp. 240–245.
ICPRICPR-v1-2002-LuWL #detection
A Target Detection Method in Range-Doppler Domain from SAR Echo Data (LL, RW, WL), pp. 91–94.
ICPRICPR-v4-2000-LaiLCCW #pattern matching #pattern recognition #recognition
Pattern Recognition of Radar Echoes for Short-Range Rainfall Forecast (ESTL, PWL, CMC, MCC, WHW), pp. 4299–4302.
ICPRICPR-1996-LakshmananW #bound #detection #image
Detection of bounded weak echo regions in meteorological radar images (VL, AW), pp. 895–899.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.