Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 1-10 of 470
Item hits:
Issue DateTitleAuthor(s)
Mar-2015Multi-version execution for increasing the reliability and availability of updated softwareCadar, Cristian; Hosek, Petr;
May-2015Dictionaries for fast and informative dynamic MRI acquisitionRueckert, Daniel; Caballero, Jose;
May-2015Combining reinforcement learning and optimal control for the control of nonlinear dynamical systemsFaisal, Aldo; Kuhn, Daniel; Abramova, Ekaterina;
Feb-2015Fusion of wearable and visual sensors for human motion analysisLo, Benny; Yang, Guang-Zhong; Wong, Charence Cheuk Lun;
Sep-2015Modeling and skill assessment for robot-assisted endovascular catheterizationYang, Guang-Zhong; Rafii-Tari, Hedyeh;
Jul-2015An executable formal semantics of PHP with applications to program analysisMaffeis, Sergio; Filaretti, Daniele;
Sep-2015Robust subspace learning techniques for tracking and recognition of human facesPantic, Maja; Marras, Ioannis
Sep-2015Automated optimization of reconfigurable designsLuk, Wayne; Kurek, Maciej; , et al
Sep-2015A general solution to detect anomalies in networked distributed sensing systemsMcCann, Julie; Chen, Po-Yu
Mar-2015Completeness-via-canonicity in coalgebraic logicsHodkinson, Ian; Fredrik Paul Herbert, Dahlqvist;