|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1989 occurrences of 1224 keywords
|
|
|
Results
Found 17441 publication records. Showing 15940 according to the selection in the facets
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 |
Displaying result #101 - #200 of 15940 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|