NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System Xi Victoria Lin*, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst Salesforce Research, University of Washington, Unive

Source URL: victorialin.net

• Computing
• Scripting languages
• Xargs
• Semantic parsing
• Filter
• Sed
• GNU parallel
• Find
• Command-line interface
• Redirection
• Parsing
• Pipeline

Destiny - A Cognitive Mobile Guide for the Olympics Ana Paula Appel, Heloisa Candello, Beatriz S. R. de Souza, Bruna D. Andrade IBM Research – São Paulo – SP – Brazil {apappel,heloisacandello, beatrizs, bdania}@br

Source URL: gdac.uqam.ca

• Computing
• Software engineering
• Human behavior
• Collective intelligence
• Information architecture
• Recommender system
• Cold start
• User story
• Point of interest
• User interface design
• User

Combination Methods for Model-Checking of Infinite-State Systems S. Ghilardi1 , E. Nicolini2 , S. Ranise2 , and D. Zucchelli1,2 1 Università 2 LORIA

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Temporal logic
• Computer science
• Formal methods
• Linear temporal logic
• Model checking
• Amir Pnueli
• French Institute for Research in Computer Science and Automation
• Mathematical logic
• Temporal logic in finite-state verification

Microsoft Word - FF-FIDLEV-d

Source URL: www.newsd.admin.ch

– KIT MÉDIA 2018 – Une publication du groupe Loin des clichés, parés d’un élégant visuel, Agefi LIFE a su prendre un positionnement unique sur le

Source URL: www.agefi.com

Microsoft Word - 16_11_22_GemErkl_D_unterz

Source URL: www.gegenarmut.ch

Microsoft Word - EO 8 Designation Of Executive Branch Officers And Employees Required To File Financial Disclosure Statements.d

Source URL: www.governor.virginia.gov

tifact Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features Keywords Macros, hygiene, binding, scope 1.

Source URL: www.cs.utah.edu

• Software engineering
• Computer programming
• Computing
• Transformation languages
• Metaprogramming
• Source code
• Dylan
• Hygienic macro
• Scheme
• Macro
• Scope
• Anonymous function

INSURETECH C O N N E C T THE FUTURE OF INSURANCE IS HERE OCTOBER 2-3, LAS VEGAS FORCES AT PLAY W I T H A L M O S T $ 5 B I L L I O N I N V E S T E D I N T O I N S U R A N C E T E C H S TA R T- U P S , A N D M O

Source URL: n68y02w29js2mtetnvfd871d-wpengine.netdna-ssl.com

• Index of standards articles
• Standards
• Linguistics
• Index of immunology articles