Amir Pnueli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged language modeling

Modelling Early Language Acquisition Skills: Towards a General Statistical Learning MechanismGuillaume Aimetti. eacl 2009: 1-9 [doi]

Integration of ::::n::::-Gram Language Models in Multiple Classifier Systems for Offline Handwritten Text Line RecognitionRoman Bertolami, Horst Bunke. ijprai, 22(7):1301-1321, 2008. [doi]

::::A Computational Model of Natural Language Communication:::: Roland Hausser (Friedrich-Alexander-Universität Erlangen-Nürnberg) Springer, 2006, xii+365 pp; hardbound, ISBN 3-540-35476-X/978-3-540-35476-5, EUR69.50Markus Egg. coling, 34(2):311-313, 2008. [doi]

SBMLeditor: effective creation of models in the Systems Biology Markup Language (SBML)Nicolas Rodriguez, Marco Donizelli, Nicolas Le Novère. bmcbi, 8, 2007. [doi]

Automatic Construction of FSA Language Model for Middle-size Vocabulary Speech RecognitionTsuyoshi Morimoto, Shinya Takahashi. imecs 2007: 614-618

Conquering Language: Using NLP on a Massive Scale to Build High Dimensional Language Models from the WebGregory Grefenstette. cicling 2007: 35-49 [doi]

A discriminative language model with pseudo-negative samplesDaisuke Okanohara, Jun-ichi Tsujii. acl 2007: [doi]

A middleware-independent model and language for component distributionHans Albrecht Schmid, Marco Pfeifer, Thorsten Schneider. edo 2005: 83-89 [doi]

An Associative Cortical Model of Language Understanding and Action PlanningAndreas Knoblauch, Heiner Markert, Günther Palm. iwinac 2005: 405-414 [doi]

A Computational Psycholinguistic Model of Natural Language UnderstandingJerry T. Ball. nlucs 2004: 3-14

Integrating Natural Language Oriented Requirements Models into MDAMaria Carmen Leonardi, María Virginia Mauco. wer 2004: 65-76 [doi]

A Research on the Stochastic Model for Spoken Language UnderstandingYong-Wan Roh, Kwang-Seok Hong, Hyon-Gu Lee. iccsa 2004: 89-96 [doi]

Automatic Categorization of Voicemail Transcripts Using Stochastic Language ModelsKonstantinos Koumpis. TSD 2004: 363-370 [doi]

Presheaf models for CCS-like languagesGian Luca Cattani, Glynn Winskel. TCS, 300(1-3):47-89, 2003. [doi]

Linguistic Evolution through Language Acquisition: Formal and Computational Models, edited by Ted BriscoeMichael A. Arbib. coling, 29(3):503-506, 2003.

Contribution to ageing simulation of complex analogue circuit using VHDL-AMS behavioural modelling languageB. Mongellaz, F. Marc, N. Milet-Lewis, Y. Danto. mr, 42(9-11):1353-1358, 2002. [doi]

Symbolic model checking with rich assertional languagesYonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar. TCS, 256(1-2):93-112, 2001. [doi]

Finite Automata for Compact Representation of Language Models in NLPJan Daciuk, Gertjan van Noord. wia 2002: 65-73 [doi]

Graphical Models as Languages for Computer Assisted Diagnosis and Decision MakingFinn Verner Jensen. ecsqaru 2001: 1-15 [doi]

Automatic Language Model Adaptation for Spoken Document RetrievalCedric G. P. Auzanne, John S. Garofolo, William M. Fisher, Jonathan G. Fiscus. riao 2000: 132-141

A Model Of Situation of Knowledge Evaluation for Foreign Language Distance LearningPhilipe Teutsch, Martial Vivet. ifip3 1998: 1011-1022

Applying Grammatical Inference in Learning a Language Model for Oral DialogueJacques Chodorowski, Laurent Miclet. icgi 1998: 102-113 [doi]

An Unbounded Nondeterministic Model for CSP-like LanguagesLuming Lai. iwfm 1998:

Word-Class Bigram Statistics Language Model for a Hand-Written Chinese Character RecognizerPak-Kwong Wong, Chorkin Chan. ACCV 1997: 121-128

Symbolic Model Checking with Rich ssertional LanguagesYonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar. cav 1997: 424-435

A Formal Description Language for the Modelling and Simulation of Timed Interaction DiagramsL. Braga, Roberto Manione, P. Renditore. forte 1996: 245-260

A Model for I/O in Equational Languages with Don t Care Non-determinismH. R. Walters, J. F. Th. Kamperman. compass 1996: 522-535

Modelling Systems with Variability using the PROTEUS Configuration LanguageEirik Tryggeseth, Bjørn Gulla, Reidar Conradi. SCM 1995: 216-240

Is VHDL-A Suitable as Unified Modelling Language?Eduard Moser. eurosim 1995: 481-486

cT: An Imperative Language with Parallelizing Features Supporting the Computation Model Autotransformation of the Evaluation Network Alexey I. Adamovich. pact 1995: 127-141

A Formal Model for Module Interconnection LanguagesMichael D. Rice, Stephen B. Seidman. TSE, 20(1):88-101, 1994. [doi]

Generating VHDL models from natural language descriptionsWalling R. Cyre, Jim Armstrong, M. Manek-Honcharik, Alexander J. Honcharik. eurodac 1994: 474-479 [doi]

A theory model core for module interconnection languagesThomas R. Dean, David Alex Lamb. cascon 1994: 13 [doi]

Towards Language Independent Automated Learning of Text Categorisation ModelsChidanand Apté, Fred Damerau, Sholom M. Weiss. sigir 1994: 23-30 [doi]

Models, concepts, theories, and formal languages in chemistry and their use as a basis for computer assistance in chemistryIvar Ugi, Johannes Bauer, Carola Blomberger, Josef Brandt, Andreas Dietz, Eric Fontain, Bernhard Gruber, Annette v. Scholley-Pfab, Antje Senff, Natalie Stein. jcisd, 34(1):3-16, 1994. [doi]

Structured connectionist models and language learningJerome A. Feldman. air, 7(5):301-312, 1993. [doi]

An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL LanguageMartin Richard, Olivier Roux. ftrtft 1991: 429-450

HIRG: A Model for Defining Hierarchical Visual LanguagesS. El-Kassas. vl 1992: 237-239

Computational and Attribute Models of Formal LanguagesJaan Penjam. TCS, 71(2):241-264, 1990.

CARAMEL: A Computational Model of Natural Language Understanding Using a Parallel ImplementationGérard Sabah. ecai 1990: 563-565

An Implementation of a Barotropic Numerical Weather Prediction Model in the Functional Language SISALPau S. Chang, Gregory K. Egan. ppopp 1990: 109-117

Concepts in User Interfaces: A Reference Model for the Command and Response Languages (By Members of IFIP WG2.7)David Beech, editor, Volume 234 of Lecture Notes in Computer Science, Springer, 1986.

A Computer Model of Child Language LearningMallory Selfridge. ai, 29(2):171-216, 1986.

Event Models for Recognition and Natural Language Description of Events in Real-World Image SequencesBernd Neumann, Hans-Joachim Novak. IJCAI 1983: 724-726

MAPLIS - A Matrix Oriented Language for Modelling and Interactive SimulationWilfried Tettweiler. esc 1983: 314-319

A Semantic Model of Types for Applicative LanguagesDavid B. MacQueen, Ravi Sethi. lfp 1982: 243-252

A Language for Extended Queuing Network ModelsCharles H. Sauer, Edward A. MacNair, Silvio Salza. ibmrd, 24(6):747-755, 1980.

A Linear-Time Model of Language Production: Some Psychological ImplicationsDavid D. McDonald. acl 1980: [doi]

TELOS, A Language for Building Well-Structured AI ModelsLarry Travis, M. Honda, R. LeBlanc, S. Ziegler. IJCAI 1977: 917

Semantic Language And The Problem Of Goal Formation Modelling in Human ThinkingYu. Klykov, V. Pushkin. IJCAI 1975: 917-920

runs on WebDSL