Abstract State Machine Language - PDFSEARCH.IO - Document Search Engine

Abstract State Machine Language
Results: 22

#	Item
1	Session F2C NON-DETERMINISM IN CS HIGH-SCHOOL CURRICULA Michal Armoni 1 and Judith Gal-Ezer 2 Abstract - One of the units in the relatively new high school CS curriculum which is being implemented in Israel is a Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2009-03-16 13:56:00 Finite automata Automata theory Nondeterministic finite automaton Deterministic automaton Theoretical computer science Finite-state machine Deterministic finite automaton Computability Regular language NP Muller automaton Bchi automaton
2	STRUCTURED DISCRIMINATIVE MODELS USING DEEP NEURAL-NETWORK FEATURES R. C. van Dalen, J. Yang, H. Wang, A. Ragni, C. Zhang, M. J. F. Gales Department of Engineering, University of Cambridge, United Kingdom ABSTRACT State- Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2016-07-12 11:46:12 Markov models Machine learning Artificial intelligence Learning Computational linguistics Speech recognition software Computer accessibility Speech recognition Hidden Markov model Conditional random field Language model Image segmentation
3	Automated Abstraction of Dynamic Neural Systems for Natural Language Processing Henrik Jacobsson, Stefan L. Frank & Diego Federici Abstract— This paper presents a variant of the Crystallizing Substochastic Sequential M Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-03-11 05:07:27 Finite automata Artificial neural networks Computational neuroscience Computational statistics Artificial intelligence Recurrent neural network Moore machine Parsing Quantization Finite-state machine
4	DP RIETI Discussion Paper Series 03-E-003 Determinants of Microlithography Industry Leadership: The Possibility of Collaboration and Outsourcing Add to Reading List Source URL: www.rieti.go.jp Language: English - Date: 2014-03-26 02:03:20 Nikon Stepper Philips Applied Materials IMEC Abstract State Machine Language Camera lens ASML Holding Technology Electronics Electronic engineering
5	INTERNATIONAL TELECOMMUNICATION UNION STUDY GROUP 17 TELECOMMUNICATION STANDARDIZATION SECTOR Add to Reading List Source URL: www.pragmadev.com Language: English - Date: 2009-11-13 10:44:47 Data modeling Formal methods Finite-state machine Unified Modeling Language Abstract Syntax Notation One Diagrams Specification and Description Language Software engineering
6	-147320175260Recruit and select interns for ASML 00Recruit and select interns for ASML INTERNSHIP: 29083005763260Field: HRM Contact: Telephone: + Add to Reading List Source URL: www.inputenoutput.nl Language: English - Date: 2015-04-17 05:33:35 Internship Abstract State Machine Language Education Learning Veldhoven
7	Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an eﬀective decision method Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics CTL* Method of analytic tableaux Formal language Model checking Temporal logic Finite-state machine Tree automaton Powerset construction Automata theory Theoretical computer science Applied mathematics
8	The Page-Fault Weird Machine: Lessons in Instruction-less Computation Julian Bangert, Sergey Bratus, Rebecca Shapiro, Sean W. Smith Abstract not unique to either the x86 Memory Management Unit Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2013-09-11 09:08:25 Virtual memory Memory management Central processing unit Task state segment Global Descriptor Table X86 assembly language Protected mode Interrupt descriptor table Memory management unit Computer architecture X86 architecture Interrupts
9	September 29, 2004 Patent Dispute Settlement; Financial Results Forecast Revision On September 28, 2004 (Japan time), Nikon Corporation (Nikon), ASML Holding N.V. (ASML) and Carl Zeiss SMT AG (SMT) signed a Memorandum of Add to Reading List Source URL: www.nikon.com Language: English - Date: 2011-03-02 04:10:50 Abstract State Machine Language Nikon Japanese yen Electronics Economy of Japan Technology ASML Holding
10	Corporate Responsibility Report 2014 Add to Reading List Source URL: www.asml.com Language: English - Date: 2015-02-06 09:10:16 Intel Corporate social responsibility Abstract State Machine Language Science Veldhoven Innovation Business Cymer Inc. Technology ASML Holding Semiconductor companies