Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Two Attentional Processes in the Parietal Lobe
Shulman, Gordon L., d’Avossa, Giovanni, Tansy, Aaron P., Corbetta, Maurizio
Published in Cerebral cortex (New York, N.Y. 1991) (01.11.2002)
Published in Cerebral cortex (New York, N.Y. 1991) (01.11.2002)
Get full text
Journal Article
Computational design of robots from high-level task specifications
Kim, Joohyung, Ha, Sehoon, Alspach, Alexander Nicholas, Yamane, Katsu, Coros, Stelian
Year of Publication 02.04.2019
Get full text
Year of Publication 02.04.2019
Patent
COMPUTATIONAL DESIGN OF ROBOTS FROM HIGH-LEVEL TASK SPECIFICATIONS
COROS, STELIAN, YAMANE, KATSU, KIM, JOOHYUNG, ALSPACH, ALEXANDER NICHOLAS, HA, SEHOON
Year of Publication 19.04.2018
Get full text
Year of Publication 19.04.2018
Patent
Multi-objective planning with multiple high level task specifications
Feyzabadi, Seyedshams, Carpin, Stefano
Published in 2016 IEEE International Conference on Robotics and Automation (ICRA) (01.05.2016)
Published in 2016 IEEE International Conference on Robotics and Automation (ICRA) (01.05.2016)
Get full text
Conference Proceeding
Extracting structured subject information from digital document archives
Get full text
Conference Proceeding
Post-completion error in software development
Huang, Fuqun
Published in 2016 IEEE ACM Cooperative and Human Aspects of Software Engineering (CHASE) (14.05.2016)
Published in 2016 IEEE ACM Cooperative and Human Aspects of Software Engineering (CHASE) (14.05.2016)
Get full text
Conference Proceeding
Optimal mission planner with timed temporal logic constraints
Yuchen Zhou, Maity, Dipankar, Baras, John S.
Published in 2015 European Control Conference (ECC) (01.07.2015)
Published in 2015 European Control Conference (ECC) (01.07.2015)
Get full text
Conference Proceeding
Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints
Meng Guo, Tumova, Jana, Dimarogonas, Dimos V.
Published in 53rd IEEE Conference on Decision and Control (01.12.2014)
Published in 53rd IEEE Conference on Decision and Control (01.12.2014)
Get full text
Conference Proceeding
Formal methods for controlling networked systems
Belta, Calin
Published in 2015 International Conference on Complex Systems Engineering (ICCSE) (01.11.2015)
Published in 2015 International Conference on Complex Systems Engineering (ICCSE) (01.11.2015)
Get full text
Conference Proceeding