|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4314 occurrences of 2015 keywords
|
|
|
Results
Found 6542 publication records. Showing 6542 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Jens Bleiholder, Felix Naumann |
Declarative Data Fusion - Syntax, Semantics, and Implementation. |
ADBIS |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Markéta Lopatková, Martin Plátek, Vladislav Kubon |
Modeling Syntax of Free Word-Order Languages: Dependency Analysis by Reduction. |
TSD |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Zhou Qiang, Dang Zhengfa |
A Syntax and Semantics Linking Algorithm for the Chinese Language. |
TSD |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Gerald Penn, Frank Richter 0001 |
The Other Syntax: Approaching Natural Language Semantics Through Logical Form Composition. |
CSLP |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Emily M. Bender, Melanie Siegel |
Implementing the Syntax of Japanese Numeral Classifiers. |
IJCNLP |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Luísa Coheur, Nuno J. Mamede, Gabriel G. Bès |
A Multi-use Incremental Syntax-Semantic Interface. |
EsTAL |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Sune Fallgaard Nielsen, Jens Sparsø, Jan Madsen |
Towards Behavioral Synthesis of Asynchronous Circuits - An Implementation Template Targeting Syntax Directed Compilation. |
DSD |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Jong-Bok Kim, Jaehyung Yang |
Projections from Morphology to Syntax in the Korean Resource Grammar: Implementing Typed Feature Structures. |
CICLing |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Wladyslaw Homenda |
Information Structuring in Natural Language Communication: Syntax versus Semantic. |
ICAISC |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Christopher J. Matheus |
SWRLp: An XML-Based SWRL Presentation Syntax. |
RuleML |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Gerd Wagner 0001, Grigoris Antoniou, Said Tabet, Harold Boley |
The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework. |
Web Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Lu Peng 0001, Jih-Kwon Peir, Qianrong Ma, Konrad Lai |
Address-free memory access based on program syntax correlation of loads and stores. |
IEEE Trans. Very Large Scale Integr. Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo |
A Syntax-Based Approach to Reasoning about Actions and Events. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Alberto Momigliano, Simon Ambler |
Multi-level Meta-reasoning with Higher-Order Abstract Syntax. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Sylvain Devillers |
An Extension of BSDL for Multimedia Bitstream Syntax Description. |
Euro-Par |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Celia C. Bojarczuk, Heitor S. Lopes, Alex Alves Freitas |
An Innovative Application of a Constrained-Syntax Genetic Programming System to the Problem of Predicting Survival of Patients. |
EuroGP |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Yan Jin, Robert Esser, Jörn W. Janneck |
Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Simon Ambler, Roy L. Crole, Alberto Momigliano |
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction. |
TPHOLs |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Peter F. Patel-Schneider, Jérôme Siméon |
The Yin/Yang web: XML syntax and RDF semantics. |
WWW |
2002 |
DBLP DOI BibTeX RDF |
XML, semantic web, data models, RDF, model theory |
16 | Dalit Levy, Tami Lapidot |
Shared terminology, private syntax: the case of recursive descriptions. |
ITiCSE |
2002 |
DBLP DOI BibTeX RDF |
class discourse, recursion, constructivism |
16 | Mark Richters, Martin Gogolla |
OCL: Syntax, Semantics, and Tools. |
Object Modeling with the OCL |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Bernhard Rumpe |
<>OCL Based on New Presentation of the OCL-Syntax. |
Object Modeling with the OCL |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Gerald Roth |
Advanced Scalarization of Array Syntax. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
16 | David Tugwell |
Towards a Dynamic Syntax for Language Modelling. |
TSD |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Alexei P. Stolboushkin, Michael A. Taitslin |
Safe Stratified Datalog with Integer Order Does Not Have Syntax. |
ACM Trans. Database Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Kleymann |
Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter? |
TYPES |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Ira D. Baxter, Andrew Yahin, Leonardo Mendonça de Moura, Marcelo Sant'Anna, Lorraine Bier |
Clone Detection Using Abstract Syntax Trees. |
ICSM |
1998 |
DBLP DOI BibTeX RDF |
Design Maintenance System, Software maintenance, clone detection, software evaluation |
16 | Raymond McDowell, Dale Miller 0001 |
A Logic for Reasoning with Higher-Order Abstract Syntax. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Tom Schorsch |
CAP: an automated self-assessment tool to check Pascal programs for syntax, logic and style errors. |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
Pascal |
16 | S. C. Leung, Hon Fung Li |
A syntax-directed translation for the synthesis of delay-insensitive circuits. |
IEEE Trans. Very Large Scale Integr. Syst. |
1994 |
DBLP DOI BibTeX RDF |
|
16 | J. H. Jacobs, Mark R. Swanson |
Syntax and Semantics of a Persistent Common Lisp. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
Common Lisp |
16 | Andrew D. Gordon 0001 |
A Mechanisation of Name-Carrying Syntax up to Alpha-Conversion. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Emil Weydert |
Relevance and Revision - About Generalizing Syntax-based Belief Revision. |
JELIA |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Jozsef A. Toth |
Specification of an Object to Object Protocol in Abstract Syntax Notation One (ASN.1). |
IEA/AIE (Vol. 2) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Jennifer Widom, Sheldon J. Finkelstein |
A Syntax and Semantics for Set-Oriented Production Rules in Relational Database Systems (Extended Abstract). |
SIGMOD Rec. |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Gordon V. Cormack |
An LR Substring Parser for Noncorrecting Syntax Error Recovery. |
PLDI |
1989 |
DBLP DOI BibTeX RDF |
|
16 | John A. Ruf |
A Note Introducing Syntax Through Semantic Routines. |
ACM SIGPLAN Notices |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Jonathan Slocum |
Concept-lexeme-syntax triangles: A gateway to interlingual translation. |
Mach. Transl. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Carole D. Hafner, Kurt Godden |
Portability of Syntax and Semantics in Datalog. |
ACM Trans. Inf. Syst. |
1985 |
DBLP DOI BibTeX RDF |
DATALOG |
16 | Helmut Richter |
Noncorrecting Syntax Error Recovery. |
ACM Trans. Program. Lang. Syst. |
1985 |
DBLP DOI BibTeX RDF |
|
16 | F. E. J. Kruseman Aretz |
Syntax diagrams for ISO Pascal standard. |
ACM SIGPLAN Notices |
1982 |
DBLP DOI BibTeX RDF |
|
16 | Thomas W. Reps |
Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors. |
POPL |
1982 |
DBLP DOI BibTeX RDF |
|
16 | Ajit B. Pai, Richard B. Kieburtz |
Global context recovery: A new strategy for parser recovery from syntax errors. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Aravind K. Joshi, Leon S. Levy, Kang Yueh |
Local Constraints in the Syntax and Semantics of Programming Languages. |
POPL |
1978 |
DBLP DOI BibTeX RDF |
|
15 | Albrecht Schmidt 0001 |
Engineering interactive ubiquitous computing systems. |
EICS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Boxing Chen, Min Zhang 0005, AiTi Aw |
Two-Stage Hypotheses Generation for Spoken Language Translation. |
ACM Trans. Asian Lang. Inf. Process. |
2009 |
DBLP DOI BibTeX RDF |
hypotheses generation, statistical machine translation, Spoken language translation |
15 | Tom Dinkelaker |
Versatile language semantics with reflective embedding. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
embedded domain-specific languages, aspect-oriented programming, meta-object protocols |
15 | Sebastian Ortiz-Chamorro, Gustavo Rossi, Daniel Schwabe |
Hypertextual Programming for Domain-Specific End-User Development. |
IS-EUD |
2009 |
DBLP DOI BibTeX RDF |
hypertextual programming, interfaces for end-user development, domain-specific languages, web engineering, end-user development |
15 | Makoto Hamana |
Initial Algebra Semantics for Cyclic Sharing Structures. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Noam Zeilberger |
Refinement types and computational duality. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
duality, effects, intersection types, focusing, union types |
15 | Jonas Tappolet, Abraham Bernstein |
Applied Temporal RDF: Efficient Temporal Querying of RDF Data with SPARQL. |
ESWC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Richard Garner, Tom Hirschowitz, Aurélien Pardon |
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Arend Rensink, Eduardo Zambon |
A Type Graph Model for Java Programs. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Roy Grønmo, Birger Møller-Pedersen, Gøran K. Olsen |
Comparison of Three Model Transformation Languages. |
ECMDA-FA |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Anis Charfi, Artur Schmidt, Axel Spriestersbach |
A Hybrid Graphical and Textual Notation and Editor for UML Actions. |
ECMDA-FA |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Robert C. Martin, Grigori Melnik |
Tests and Requirements, Requirements and Tests: A Möbius Strip. |
IEEE Softw. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Frédéric Mallet |
Clock constraint specification language: specifying clock constraints with UML/MARTE. |
Innov. Syst. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Unified modeling language, Constraints, MARTE, Time model |
15 | Peter Ljunglöf, Staffan Larsson |
A Grammar Formalism for Specifying ISU-Based Dialogue Systems. |
GoTAL |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Joey Paquet, Serguei A. Mokhov, Xin Tong 0002 |
Design and Implementation of Context Calculus in the GIPSY Environment. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Context-driven computation, Context calculus, Intensional programming |
15 | Guntur Ravindra, Joseph Thaliath, Ian D. Chakeres |
In-network optimal rate reduction for packetized MPEG video. |
Q2SWinet |
2008 |
DBLP DOI BibTeX RDF |
content inspection, streamed MPEG video, QoS, rate adaptation, knapsack |
15 | Hans Grönniger, Holger Krahn, Bernhard Rumpe, Martin Schindler, Steven Völkel |
MontiCore: a framework for the development of textual domain specific languages. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
modularity, domain specific languages, extensibility |
15 | Mark Gabel, Lingxiao Jiang, Zhendong Su 0001 |
Scalable detection of semantic clones. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
software maintenance, refactoring, clone detection, program dependence graph |
15 | Russ Cox, Tom Bergan, Austin T. Clements, M. Frans Kaashoek, Eddie Kohler |
Xoc, an extension-oriented compiler for systems programming. |
ASPLOS |
2008 |
DBLP DOI BibTeX RDF |
extension-oriented compilers |
15 | Gutemberg Guerra-Filho, Yiannis Aloimonos |
Grounding Concrete Motion Concepts with a Linguistic Framework. |
SETN |
2008 |
DBLP DOI BibTeX RDF |
concrete concept grounding, linguistic framework, sensorimotor intelligence |
15 | Esther Guerra, Juan de Lara |
Event-driven grammars: relating abstract and concrete levels of visual languages. |
Softw. Syst. Model. |
2007 |
DBLP DOI BibTeX RDF |
Triple Graph Transformation, UML, Consistency, Visual Languages, Meta-Modelling, Graph Grammars |
15 | William Billingsley, Peter Robinson 0001 |
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book. |
J. Autom. Reason. |
2007 |
DBLP DOI BibTeX RDF |
Intelligent book, MathsTiles, Isabelle |
15 | Erik Wilde, Felix Michel |
XML-based XML schema access. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
SCX, XML, XML schema |
15 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Object-Oriented Modules. |
All About Maude |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ke Jiang, Lei Zhang, Shigeru Miyake |
OCL4X: An Action Semantics Language for UML Model Execution. |
COMPSAC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | David J. Malan, Henry H. Leitner |
Scratch for budding computer scientists. |
SIGCSE |
2007 |
DBLP DOI BibTeX RDF |
Java, programming, languages, scratch |
15 | Manuel Wimmer, Michael Strommer, Horst Kargl, Gerhard Kramler |
Towards Model Transformation Generation By-Example. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | William M. Farmer |
Biform Theories in Chiron. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Maarten H. van Emden |
Compositional Semantics for the Procedural Interpretation of Logic. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jianmin Pang, Paul Callaghan, Zhaohui Luo |
LFTOP: An LF-Based Approach to Domain-Specific Reasoning. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
type theory, logical framework, proof assistant, domain-specific, formal reasoning |
15 | Andrew M. Pitts |
Alpha-Structural Recursion and Induction. |
TPHOLs |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Ivan Kurtev, Klaas van den Berg |
Building adaptable and reusable XML applications with model transformations. |
WWW |
2005 |
DBLP DOI BibTeX RDF |
XML, MDA, model transformations, XML processing, transformation language |
15 | Benjamin Jung |
DICOM-X - Seamless Integration of Medical Images into the EHR. |
CBMS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Minghu Jiang, Huiying Cai, Bo Zhang |
Self-organizing Map Analysis Consistent with Neuroimaging for Chinese Noun, Verb and Class-Ambiguous Word. |
ISNN (3) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Minoru Uehara |
Web CC: A WBT System of Programming for Beginners. |
DEXA Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Urueña, David Larrabeiti |
Nested Uniform Resource Identifiers. |
EUROMICRO-SEAA |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Stephan Schulz 0002 |
Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols. |
TestCom |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Bryan Ford |
Parsing expression grammars: a recognition-based syntactic foundation. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
GTDPL, TDPL, packrat parsing, parsing expression grammars, scannerless parsing, syntactic predicates, unified grammars, regular expressions, context-free grammars, lexical analysis, BNF |
15 | Joachim Fischer, Michael Piefel, Markus Scheidgen |
A Metamodel for SDL-2000 in the Context of Metamodelling ULF. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
15 | David Al-Dabass, David J. Evans 0001, Manling Ren |
A New Hybrid Methodology for Intelligent Chinese Character Recognition. |
HIS |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Mark Harman, David W. Binkley, Ranjit Singh, Robert M. Hierons |
Amorphous Procedure Extraction. |
SCAM |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Esther Guerra, Juan de Lara |
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Venkatesh Choppella |
Polymorphic Type Reconstruction Using Type Equations. |
IFL |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Giuliano Antoniol, Massimiliano Di Penta, Ettore Merlo |
YAAB (Yet Another AST Browser): Using OCL to Navigate ASTs. |
IWPC |
2003 |
DBLP DOI BibTeX RDF |
AST navigation, UML, OCL, source code analysis |
15 | May Dehayni, Louis Féraud |
An Approach of Model Transformation Based on Attribute Grammars. |
OOIS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Yasuhiko Minamide, Koji Okuma |
Verifying CPS transformations in Isabelle/HOL. |
MERLIN |
2003 |
DBLP DOI BibTeX RDF |
program transformation, theorem proving, correctness proofs |
15 | Adam Granicz, Jason Hickey |
Phobos: A Front-End Approach to Extensible Compilers. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Paolo Bottoni, Gennaro Costagliola |
On the Definition of Visual Languages and Their Editors. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
15 | José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Bernardo Martín González Rodríguez |
A Language Prototyping Tool Based on Semantic Building Blocks. |
EUROCAST |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Pierre-Louis Curien, Hugo Herbelin |
The duality of computation. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
15 | A. Karabanov, J. Korablev, G. Roche |
Dyalog-APL application with threads on the basis of ActiveX data objects. |
APL |
2000 |
DBLP DOI BibTeX RDF |
APL, ActiveX |
15 | Roswitha Bardohl, Magnus Niemann, Manuel Schwarze |
GenGEd: A Development Environment for Visual Languages. |
AGTIVE |
1999 |
DBLP DOI BibTeX RDF |
algebraic graph transformation, rule- and constraint-based editor, visual language, constraint solving |
15 | Alexander Leitsch |
Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | William G. Griswold, Darren C. Atkinson, Collin McCurdy |
Fast, Flexible Syntactic Pattern Matching and Processing. |
WPC |
1996 |
DBLP DOI BibTeX RDF |
lexical, pattern matching, macros, syntactic |
15 | Yoshihiro Adachi, Koushi Anzai, Kensei Tsuchida, Takeo Yaku |
Hierarchical Program Diagram Editor Based on Attributed Graph Grammar. |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Ralf Reetz, Thomas Kropf |
Simplifying Deep Embedding: A Formalised Code Generator. |
TPHOLs |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 6542 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|