Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

Results 1-10 of 87
Item hits:
Issue DateTitleAuthor(s)
30-Apr-2013A syntactic-semantic approach to incremental verificationBianculli, D; Filieri, A; Ghezzi, C; Mandrioli, D
31-Mar-2016Properties of ABA+ for Non-Monotonic ReasoningCyras, K; Toni, F; Engineering & Physical Science Research Council (EPSRC)
1-Jan-2018EchoFusion: Tracking and Reconstruction of Objects in 4D Freehand Ultrasound Imaging without External TrackersKhanal, B; Gomez, A; Toussaint, N; McDonagh, S; Zimmer, V, et al
1-Jan-2018Deep nested level sets: Fully automated segmentation of cardiac MR images in patients with pulmonary hypertensionDuan, J; Schlemper, J; Bai, W; Dawes, TJW; Bello, G, et al
9-Oct-2018The Supernumerary Robotic 3rd Thumb for Skilled Music TasksCunningham, J; Hapsari, A; Guilleminot, P; Shafti, A; Faisal, AA
9-Oct-2018FastOrient: Lightweight Computer Vision for Wrist Control in Assistive Robotic GraspingMaymo, MR; Shafti, A; Faisal, AA
5-Oct-2018GPdoemd: a python package for design of experiments for model discriminationOlofsson, S; Misener, R; Commission of the European Communities; Engineering and Physical Sciences Research Council
14-Nov-2016Evaluation of Decentralized Event-Triggered Control Strategies for Cyber-Physical SystemsKartakis, S; Fu, A; Jr, MM; McCann, JA
2-May-2016Multi30K: multilingual English-German image descriptionsElliott, D; Frank, S; Sima'an, K; Specia, L
13-Dec-2016Vicinity-driven paragraph and sentence alignment for comparable corporaPaetzold, GH; Specia, L