Loris - PDFSEARCH.IO - Document Search Engine

Loris
Results: 136

#	Item
41	COLLANA SX QUADERNI LORIS FORTUNA Collana diretta da Luca Taddio Responsabile Quaderni Fortuna Andrea Castiglione Presidente dell’Istituto Studi Loris Fortuna di Udine Add to Reading List Source URL: www.filosofia.it Language: Italian - Date: 2010-05-03 08:45:05
42	DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations ∗ Loris D’Antoni Mukund Raghothaman Ar Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-28 15:44:31
43	Sensitivity Analysis using Type-Based Constraints Loris D’Antoni? Marco Gaboardi?‡ Emilio Jes´us Gallego Arias? Benjamin C. Pierce? Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-04-21 07:32:52
44	ISAA State Indoor 2012 Name Marcia Jones Angie Cody Loris Morrison Add to Reading List Source URL: iowastatearchery.com Language: English - Date: 2014-08-10 22:55:15
45	Territorial evidence for a European Urban Agenda TOWN in Europe Loris Servillo Brussels, 25 November 2014 Add to Reading List Source URL: www.espon.eu Language: English - Date: 2014-12-12 11:46:16 Typology European Union Political philosophy
46	Automated Grading of DFA Constructions ∗ Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-04-24 11:35:08 Applied mathematics Deterministic finite automaton DFA minimization Nondeterministic finite automaton Regular expression DFA Records Normal distribution Regular language Structure Automata theory Theoretical computer science Computer science
47	Operating System Support for Augmented Reality Applications Loris D’Antoni1 , Alan Dunn2 , Suman Jana2 , Tadayoshi Kohno3 , Benjamin Livshits4 , David Molnar4 , Alexander Moshchuk4 , Eyal Ofek4 , Franziska Roesner3 , S Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-04-10 20:56:02 User interface techniques Virtual reality Augmented reality Smartphones User interfaces Kinect Wikitude Natural user interface Operating system Humanâ€“computer interaction Computing Software
48	A How Can Automatic Feedback Help Students Construct Automata? LORIS D’ANTONI, University of Pennsylvania DILEEP KINI, University of Illinois at Urbana-Champaign RAJEEV ALUR, University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-03-11 17:28:03 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton DFA Records Finite-state machine Algorithm Counterexample Regular expression Automata theory Models of computation Theoretical computer science
49	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation
50	Automated Grading of DFA Constructions Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-05-16 00:14:15 Model theory Models of computation Formal languages Abstraction Metalogic Deterministic finite automaton Nondeterministic finite automaton Interpretation DFA minimization Automata theory Mathematics Logic