|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 32 occurrences of 29 keywords
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
162 | Bharat Jayaraman, Gopal Gupta 0001 |
EqL: The Language and Its Implementation. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
conditional rules, general-purpose language, EqL, pattern-directed rules, data-constructors, basic values, equation solving, deferred evaluation, sequential implementation, compile-time flattening, run-time equation-delaying, last-equation optimization, logic programming, functional programming, functional programming, nondeterminism, high level languages, mathematics computing, equations, logic programming languages, computational paradigm, logical variables |
123 | Masud Ahmad Malik |
Evolution of the High Level Programming Languages: A Critical Perspective. |
ACM SIGPLAN Notices |
1998 |
DBLP DOI BibTeX RDF |
|
81 | Bharat Jayaraman |
Semantics of EqL. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
Correctness theorems, equational programming, equation solving, object refinement, logic programming, functional programming, denotational semantics, reduction semantics |
74 | Damir Becarevic, Mark Roantree |
The EGTV Query Language. |
BNCOD |
2004 |
DBLP DOI BibTeX RDF |
|
56 | Yun-Hong Lee, Albert Mo Kim Cheng |
Dynamic Optimization for Real-Time Rule-Based Systems Using Predicate Dependency. |
IEEE Real Time Technology and Applications Symposium |
2000 |
DBLP DOI BibTeX RDF |
real-time rule-based expert system, EQL, response time upper bound, predicate dependency list, optimization, timing analysis |
49 | Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang |
Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
real-time rule-based systems, behavioral constraint assertions, Estella, knowledge-decision processing, human expertise, monitor-respond cycle, bounded response time, rule-based programmer, application-specific knowledge, real-time systems, formal specification, knowledge representation, expert systems, constraint handling, rule-based expert systems |
32 | Han Liu, Shantao Liu |
EQL - an extremely easy to learn knowledge graph query language, achieving highspeed and precise search. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
32 | Elio Mansour, Richard Chbeir, Philippe Arnould |
EQL-CE: an event query language for connected environments. |
IDEAS |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Elio Mansour, Richard Chbeir, Philippe Arnould |
EQL-CE: An Event Query Language for Connected Environment Management. |
Q2SWinet |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Kutalmis Akpinar, Kien A. Hua |
EQL: Event Query Language for the Sharing of Internet-of-Things Infrastructure and Collaborative Applications Development. |
ICSOC Workshops |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Chunlan Ma, Heath K. Frankel, Thomas Beale, Sam Heard |
EHR Query Language (EQL) - A Query Language for Archetype-Based Health Records. |
MedInfo |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001 |
EQL-Lite: Effective First-Order Query Processing in Description Logics. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
32 | Charles D. Havener |
EQL - The Query Language You Never Heard Of. |
ACM SIGPLAN Notices |
1998 |
DBLP DOI BibTeX RDF |
C++ |
32 | Aloysius K. Mok, Rwo-Hsi Wang, Chih-Kan Wang |
Realizing EQL Programs for Bounded-Time Execution. |
J. Syst. Integr. |
1996 |
DBLP DOI BibTeX RDF |
|
32 | Rwo-Hsi Wang, Aloysius K. Mok |
Response-Time Bounds of EQL Rule-Based Programs Under Rule Priority Structure. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
Real-time decision systems, algorithm, timing analysis, rule-based systems, priority |
32 | Jeng-Rung Chen, Albert Mo Kim Cheng |
Response Time Analysis of EQL Real-Time Rule-Based Systems. |
IEEE Trans. Knowl. Data Eng. |
1995 |
DBLP DOI BibTeX RDF |
real-time decision systems, special forms, verification, response time, Computer aided software engineering, rule-based programs |
32 | Wen-Wei Pan, Wei-Pang Yang |
EQL: A Learn-Easy and Use-Easy Query Language for Object-Oriented Databases. |
SEKE |
1995 |
DBLP BibTeX RDF |
|
32 | Jeng-Rung Chen, Albert Mo Kim Cheng |
A Fast, Partially Parallelizable Algorithm for Predicting Execution Time of EQL Rule-Based Programs. |
ICPP (3) |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Hiroyasu Nagata |
EQL: a Language for Numerical Computation. |
Comput. Lang. |
1979 |
DBLP DOI BibTeX RDF |
|
31 | Yun-Hong Lee, Albert Mo Kim Cheng |
Optimizing Real-Time Equational Rule-Based Systems. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
EQL language, real-time rule-based systems, graphs, runtime optimization |
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|