Search results for "Pascal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
39	Andrew Hickl, Jeremy Bensley	A Discourse Commitment-Based Framework for Recognizing Textual Entailment.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Óscar Ferrández, Daniel Micol, Rafael Muñoz 0001, Manuel Palomar	A Perspective-Based Approach for Solving Textual Entailment Recognition.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Daniel G. Bobrow, Dick Crouch, Tracy Holloway King, Cleo Condoravdi, Lauri Karttunen, Rowan Nairn, Valeria de Paiva, Annie Zaenen	Precision-focused Textual Inference.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Rodolfo Delmonte, Antonella Bristot, Marco Aldo Piccolino Boniforti, Sara Tonelli	Entailment and Anaphora Resolution in RTE3.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	João Cordeiro, Gaël Dias, Guillaume Cleuziou	Biology Based Alignments of Paraphrases for Sentence Compression.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Rodney D. Nielsen, Wayne H. Ward	A Corpus of Fine-Grained Entailment Relations.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Baoli Li 0001, Joseph Irwin, Ernest V. Garcia, Ashwin Ram 0001	Machine Learning Based Semantic Inference: Experiments and Observations at RTE-3.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Prodromos Malakasiotis, Ion Androutsopoulos	Learning Textual Entailment using SVMs and String Similarity Measures.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Erwin Marsi, Emiel Krahmer, Wauter Bosma	Dependency-based paraphrasing for recognizing textual entailment.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Fabio Massimo Zanzotto, Marco Pennacchiotti, Alessandro Moschitti	Shallow Semantic in Fast Textual Entailment Rule Learners.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Scott Settembre	Textual Entailment Using Univariate Density Model and Maximizing Discriminant Function.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Rod Adams, Gabriel Nicolae, Cristina Nicolae, Sanda M. Harabagiu	Textual Entailment Through Extended Lexical Overlap and Lexico-Semantic Matching.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Dan Roth, Mark Sammons	Semantic and Logical Inference Model for Textual Entailment.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Roy Bar-Haim, Ido Dagan, Iddo Greental, Idan Szpektor, Moshe Friedman	Semantic Inference at the Lexical-Syntactic Level for Textual Entailment Recognition.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Marta Tatu, Dan I. Moldovan	COGEX at RTE 3.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Aljoscha Burchardt, Nils Reiter, Stefan Thater, Anette Frank	A Semantic Approach To Textual Entailment: System Evaluation and Task Analysis.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Marilisa Amoia, Claire Gardent	A first order semantic approach to adjectival inference.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Álvaro Rodrigo, Anselmo Peñas, Jesús Herrera, Felisa Verdejo	Experiments of UNED at the Third Recognising Textual Entailment Challenge.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Nathanael Chambers, Daniel M. Cer, Trond Grenager, David Hall 0006, Chloé Kiddon, Bill MacCartney, Marie-Catherine de Marneffe, Daniel Ramage, Eric Yeh, Christopher D. Manning	Learning Alignments and Leveraging Natural Logic.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Rui Wang 0005, Günter Neumann	Recognizing Textual Entailment Using Sentence Similarity based on Dependency Tree Skeletons.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Adrian Iftene, Alexandra Balahur-Dobrescu	Hypothesis Transformation and Semantic Variability Rules Used in Recognizing Textual Entailment.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Arturo Montejo-Ráez, José Manuel Perea Ortega, Fernando Javier Martínez Santiago, Miguel A. García-Cumbreras, María Teresa Martín-Valdivia, Luis Alfonso Ureña López	Combining Lexical-Syntactic Information with Machine Learning for Recognizing Textual Entailment.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Gaston Burek, Christian Pietsch, Anne N. De Roeck	SVO triple based Latent Semantic Analysis for recognising textual entailment.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Catherine Blake	The Role of Sentence Structure in Recognizing Textual Entailment.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Daniel Ferrés, Horacio Rodríguez	Machine Learning with Semantic-Based Distances Between Sentences for Textual Entailment.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Bill MacCartney, Christopher D. Manning	Natural Logic for Textual Inference.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Stefan Harmeling	An Extensible Probabilistic Transformation-based Approach to the Third Recognizing Textual Entailment Challenge.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Peter E. Clark, Philip Harrison, John A. Thompson, William R. Murray, Jerry R. Hobbs, Christiane Fellbaum	On the Role of Lexical and World Knowledge in RTE3.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Atsushi Fujita, Shuhei Kato, Naoki Kato, Satoshi Sato	A Compositional Approach toward Dynamic Phrasal Thesaurus.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Michael Ellsworth, Adam Janin	Mutaphrase: Paraphrasing with FrameNet.	ACL-PASCAL@ACL	2007	DBLP BibTeX RDF
39	Hans Langmaack, Bodo Schlender, Joachim W. Schmidt (eds.)	Implementierung PASCAL-artiger Programmiersprachen, Tagung II/1982 des German Chapter of the ACM, am 12.7.1982 in Kiel	PASCAL	1982	DBLP BibTeX RDF
39	Uwe Schmidt 0002, Reinhard Völler	Die Entwicklung eines portablen Übersetzersystems mit der Vienna Development Method.	PASCAL	1982	DBLP BibTeX RDF
39	Christian Jacobi 0001	The Lilith Architecture, Its Design in View of Code Generation.	PASCAL	1982	DBLP BibTeX RDF
39	Rudolf Landwehr, Hans-Stephan Jansohn, Gerhard Goos	Erfahrungen mit einem automatischen Code-Generator-Generator.	PASCAL	1982	DBLP BibTeX RDF
39	Leo Geissmann	Implementation of Separate Compilation in the Modula-2 Compiler.	PASCAL	1982	DBLP BibTeX RDF
39	Jürgen Koch, Manuel Mall, P. Putfarken	Modula-2 für die VAX: Beschreibung einer Systemübertragung.	PASCAL	1982	DBLP BibTeX RDF
39	David W. Barron (eds.)	Pascal - The Language and its Implementation	Pascal - The Language and its Implementation	1981	DBLP BibTeX RDF
39	Urs Ammann	The Zurich Implementation.	Pascal - The Language and its Implementation	1981	DBLP BibTeX RDF
39	Jim Welsh	Two 1900 Compilers.	Pascal - The Language and its Implementation	1981	DBLP BibTeX RDF
39	Hans-Wilm Wippermann (eds.)	PASCAL, 2. Tagung in Kaiserslautern, Tagung I/1979 des German Chapter of the ACM, am 16. und 17.2.1979 in Kaiserslautern	PASCAL	1979	DBLP BibTeX RDF
39	Helmut Balzert	Die Programmiersprache PLASMA 78.	PASCAL	1979	DBLP BibTeX RDF
39	K. S. R. Anjaneyulu	Bug Analysis of Pascal Programs.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF	Pascal
39	John F. Cigas	Dynamically Displaying a Pascal Program in Color.	SIGSMALL/PC Symposium	1990	DBLP DOI BibTeX RDF	DEBUG, Pascal
39	Gordon Davies	Developments in Pascal-FC.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	Ada, Pascal
39	Carsten Hammer, Guillermo Raebel	Code Generation for Partially Vectorizable Loops in the Vectorizing Pascal-XT Compiler.	CONPAR	1986	DBLP DOI BibTeX RDF	partial vectorization, Pascal-XT, dependence, Automatic vectorization
39	Karl Rehmer, Linda Rising	Teaching data abstraction in a beginning Pascal class.	SIGCSE	1986	DBLP DOI BibTeX RDF	Pascal
39	Philippe J. Gabrini, J. Mack Adams, Barry L. Kurtz	Converting from Pascal to Modula-2 in the undergraduate curriculum.	SIGCSE	1986	DBLP DOI BibTeX RDF	Ada, Pascal, Modula-2
39	David C. Luckham	A brief account: Implementation and applications of a Pascal program verifier (Position Statement).	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Pascal
38	Atish P. Sinha, Iris Vessey	Cognitive Fit: An Empirical Study of Recursion and Iteration.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	basic theory, recursive tasks, PASCAL computer science students, repeated measures designs, specific programming languages, cognitive fit, human factors, programming, programming languages, LISP, LISP, Pascal, programming theory, recursive functions, programming constructs, laboratory experiment, performance benefits
38	Bogdan Korel	PELAS - Program Error-Locating Assistant System.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	PELAS, program error-locating assistant system, error localization assistant, Pascal programs, knowledge representation, knowledge representation, software tools, knowledge based system, knowledge based systems, program verification, reasoning, Pascal, interactive systems, program debugging, program debugging, program structure, dependence network
38	Richard C. Waters	Program Translation via Abstraction and Reimplementation.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	abstract understanding, reimplementation, Programmer's Apprentice, Hibol, business data processing language, PDP-11 object code, Pascal programs, data structures, data structures, compilers, knowledge based system, expert systems, Pascal, translator, program compilers, Cobol, COBOL, program interpreters
37	Jukka Paakki	A note on the speed of Prolog.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Prolog
37	R. F. Kamel, Neil D. Gammage	Experience with Rendezvous [tasking and communication model].	ICCL	1988	DBLP DOI BibTeX RDF
37	D. R. Beuerman	Database prototyping and implementation (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
37	Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet	Teaching principles of computer programming.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
37	John E. Rager	Graphics packages for teaching graphics.	SIGCSE	1986	DBLP DOI BibTeX RDF
37	Arra Avakian, Sam Haradhvala, Julian Horn, Bruce Knobe	The Design of an Integrated Support Software System.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
34	Paul Bartha	Taking Stock of Infinite Value: Pascal's Wager and Relative Utilities.	Synth.	2007	DBLP DOI BibTeX RDF
34	Michael G. Gonzales	Correction of the Halstead Length Estimator Skew for Small Pascal Programs.	SIGMETRICS Perform. Evaluation Rev.	1990	DBLP DOI BibTeX RDF
34	Douglas F. Dixon	A Pascal compiler testing facility.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
34	Robert Cailliau	How to avoid getting schlonked by Pascal.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
34	Mark Overgaard	UCSD Pascal™: a portable software environment for small computers.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
34	Charles E. Hughes, Charles P. Pfleeger	Pascal program development aids.	ACM Southeast Regional Conference	1979	DBLP DOI BibTeX RDF
34	G. Friesland, C. O. Grosse-Lindemann, P. W. Lorenz, Hans-Hellmut Nagel, P. J. Stirl	A PASCAL Compiler bootstrapped on a DEC-System 10.	Fachtagung über Programmiersprachen	1974	DBLP DOI BibTeX RDF
33	J. Stanley Warford	BlackBox: a new object-oriented framework for CS1/CS2.	SIGCSE	1999	DBLP DOI BibTeX RDF	BlackBox, component Pascal, formal methods, frameworks, programming languages, CS1, CS2
33	Owen L. Astrachan	Self-reference is an illustrative essential.	SIGCSE	1994	DBLP DOI BibTeX RDF	Pascal
33	Hikyoo Koh, Daniel Ming-Jen Wu	Goal-directed Semantic Tutor.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF	Pascal
33	M. Catherine Neal, Linda G. Shapiro	A Portable Graphics system for minicomputers.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	High-level graphics language, Minicomputer system, Computer graphics, Pascal, Portable software
30	Claudio Moraga, Radomir S. Stankovic, Milena Stankovic	The Pascal Triangle (1654), the Reed-Muller-Fourier Transform (1992), and the Discrete Pascal Transform (2005).	ISMVL	2016	DBLP DOI BibTeX RDF
30	Tetsutaro Uehara, Yoshitoshi Kunieda, Takao Tsuda	An Automatic Vectorizing/Parallelizing Pascal Compiler V-Pascal V.3.	ISHPC	1997	DBLP DOI BibTeX RDF
30	Kathleen Jensen, Niklaus Wirth	Pascal user manual and report - ISO Pascal standard, 4th Edition.		1991	RDF
30	Takao Tsuda, Yoshitoshi Kunieda	V-Pascal: An automatic vectorizing compiler for Pascal with no language extensions.	J. Supercomput.	1990	DBLP DOI BibTeX RDF
30	Kurt-Ulrich Witt	Konzepte objektorientierter Programmierung und ihre Anwendung in PASCAL / Object Oriented Programming Concepts and Its Application with PASCAL.	it Inf. Technol.	1989	DBLP DOI BibTeX RDF
30	Michael Sonnenschein	Programmieren in Pascal - Sprachstandard und Turbo-Pascal, 2. Auflage.		1989	RDF
30	Kathleen Jensen, Niklaus Wirth, Andrew B. Mickel	Pascal user manual and report: rev. for the ISO Pascal standard, 3rd Edition.		1985	RDF
30	Anthony P. Reeves	Parallel pascal: An extended pascal for parallel computers.	J. Parallel Distributed Comput.	1984	DBLP DOI BibTeX RDF
30	Colin Allison	PASCAL-like languages for users and students: C H Smedema, P Medema and M Boasson 'The programming languages PASCAL, MODULA, CHILL and ADA' Prentice-Hall, Englewood Cliffs, NJ, USA (1983) £9.95 pp 154.	Microprocess. Microsystems	1984	DBLP DOI BibTeX RDF
30	Ian P. Leslie	New users learn enough to apply PASCAL: J H McGregor and A H Watt 'PASCAL for science and engineering' Pitman, London, UK (1983).	Microprocess. Microsystems	1984	DBLP DOI BibTeX RDF
30	Jürgen Wolff von Gudenberg	PASCAL-SC: A PASCAL Extension for Scientific Computation.	IMACS World Congress	1982	DBLP BibTeX RDF
30	J. M. Adamo	PASCAL + CSP, Merging PASCAL and CSP in a parallel processing oriented language.	ICDCS	1982	DBLP BibTeX RDF
30	Richard J. Cichelli	Pascal-I: interactive, conversational Pascal-S.	ACM SIGPLAN Notices	1980	DBLP DOI BibTeX RDF
30	Paul F. Albrecht, Philip E. Garrison, Susan L. Graham, Robert H. Hyerle, Patricia Ip, Bernd Krieg-Brückner	Source-to-source translation: Ada to Pascal and Pascal to Ada.	SIGPLAN	1980	DBLP DOI BibTeX RDF
29	Jeanne L. Murtagh, John A. Hamilton Jr.	A Comparison of Ada and Pascal in an Introductory Computer Science Course.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, Pascal
29	Joseph Bergin	Run-Time Design for Object-Oriented Extensions to Pascal.	ACM Conference on Computer Science	1995	DBLP DOI BibTeX RDF	Pascal
29	Joseph Bergin	A Report on Object-Oriented Extensions to Pascal.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF	Pascal Object-oriented languages
29	Wayne D. Smith	A laboratory to support a first course in data communications using personal computers and Turbo Pascal (abstract).	SIGCSE	1994	DBLP DOI BibTeX RDF	Turbo Pascal
29	Peter G. Jessup	Teaching parallel computing with Multi-Pascal (abstract).	SIGCSE	1994	DBLP DOI BibTeX RDF	Pascal
29	Tony Hetherington	An Introduction to the Extended Pascal Language.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	Pascal
29	Duane J. Jarc	Ada, Pascal's Replacement for Introductory Courses in Computer Science.	TRI-Ada	1992	DBLP DOI BibTeX RDF	Ada, Pascal
29	Ikuo Nakata, Masataka Sassa	Programming with Streams in a Pascal-Like Language.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	loop statements, Pascal-like language, fixed type, composite function, component functions, iterative statements, parallel mode, coroutine mode, inline mode, programming, functional programming, streams, Lisp, reusability, combinations, coroutines, programming styles, dataflow languages
29	Atanas Radensky	Toward Integration of the Imperative and Logic Programming Paradigms: Horn-Clause Programming in the Pascal Environment.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	Pascal
29	Kirt A. Winter, Curtis R. Cook	A prototype intelligent prettyprinter for Pascal.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	GLIM, Pascal
29	Klaus Bothe, B. Hohberg, Christian Horn, O. Wikarski	A portable high-speed PASCAL to C Translator.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	C, Pascal
29	Jane Donaho	A comparison of extended pascal and Ada.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	Ada, Pascal
29	Brian A. Wichmann	Scientific processing in ISO-Pascal: a proposal to get the benefits of mixed precision floating-point.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	Pascal
29	Jon Mauney	Extended Pascal is no problem.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	Pascal
29	David A. Joslin	Extended Pascal - numerical features.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	Pascal
29	Ronald T. House	A problem with extended Pascal.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Pascal
29	Victor B. Schneider	A reply to "A note on metrics of Pascal programs".	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Pascal
29	Phillippe Ranger	Some comments on the forthcoming "extended Pascal" standard.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Pascal