Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Clester, Ian"'
Autor:
Bourgeat, Thomas, Clester, Ian, Erbsen, Andres, Gruetter, Samuel, Singh, Pratap, Wright, Andrew, Chlipala, Adam
Instruction sets, from families like x86 and ARM, are at the center of many ambitious formal-methods projects. Many verification, synthesis, programming, and debugging tools rely on formal semantics of instruction sets, but different tools can use se
Externí odkaz:
http://arxiv.org/abs/2104.00762
We present the design, implementation, and evaluation of RF-Grasp, a robotic system that can grasp fully-occluded objects in unknown and unstructured environments. Unlike prior systems that are constrained by the line-of-sight perception of vision an
Externí odkaz:
http://arxiv.org/abs/2012.15436
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Clester, Ian, Freeman, Jason
We present LambDAW, a novel system for integrating computation and composition that brings code directly into the digital audio workstation (DAW). It allows the composer to freely mix static and dynamic materials by embedding short expressions of cod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::078286e7b8dfb7bcb65b830e93bc64fb