|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3642 occurrences of 1964 keywords
|
|
|
Results
Found 5530 publication records. Showing 5530 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Mayez A. Al-Mouhamed, Steven S. Seiden |
Minimization of Memory and Network Contention for Accessing Arbitrary Data Patterns in SIMD Systems. |
IEEE Trans. Computers |
1996 |
DBLP DOI BibTeX RDF |
NP-completeness, multistage networks, storage schemes, parallel memories, Memory conflicts |
12 | Beate Bollig, Ingo Wegener |
Improving the Variable Ordering of OBDDs Is NP-Complete. |
IEEE Trans. Computers |
1996 |
DBLP DOI BibTeX RDF |
verification, NP-completeness, graph algorithms, Ordered binary decision diagrams, variable orderings |
12 | Masafumi Yamashita, Tsunehiko Kameda |
Computing on Anonymous Networks: Part II-Decision and Membership Problems. |
IEEE Trans. Parallel Distributed Syst. |
1996 |
DBLP DOI BibTeX RDF |
edge election, spanning tree construction, topology recognition, distributed computing, NP-completeness, computability, leader election, Anonymous network |
12 | Uriel Feige, Shafi Goldwasser, László Lovász 0001, Shmuel Safra, Mario Szegedy |
Interactive Proofs and the Hardness of Approximating Cliques. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
independent set in a graph, multilinearity testing np-completeness, hardness of approximation, probabilistically checkable proofs |
12 | Stefan Kahrs |
Limits of ML-Definability. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
completeness, ML, polymorphism, recursion, definability |
12 | Martin Grohe |
Equivalence in Finite-Variable Logics is Complete for Polynomial Time. |
FOCS |
1996 |
DBLP DOI BibTeX RDF |
finite-variable logics, finite structures, graph isomorphism problem, complexity theoretic difficulties, quantifier-free reductions, completeness result, counting quantifiers, computational complexity, first order logic, polynomial time, equivalence |
12 | Pierre-Yves Calland, Alain Darte, Yves Robert, Frédéric Vivien |
On the Removal of Anti and Output Dependences. |
ASAP |
1996 |
DBLP DOI BibTeX RDF |
anti dependences, output dependences, heuristics, NP-completeness, dependence graph, node splitting |
12 | Rainer Schuler |
Truth-table Closure and Turing Closure of Average Polynomial Time have Different Measures in EXP. |
CCC |
1996 |
DBLP DOI BibTeX RDF |
computational complexity, completeness, average-case analysis, resource-bounded measure |
12 | Jan Paredaens, Peter Peelman, Letizia Tanca |
G-Log: A Graph-Based Query Language. |
IEEE Trans. Knowl. Data Eng. |
1995 |
DBLP DOI BibTeX RDF |
graph-based databases, database algorithms, data models, completeness, database theory, Deductive databases, first-order logic, complex objects, database programming languages |
12 | Pekka Orponen, Ker-I Ko, Uwe Schöning, Osamu Watanabe 0001 |
Instance Complexity. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
nonuniform complexity, paddability, self-reducibility, completeness, Kolmogorov complexity |
12 | Rajeev Alur, Thomas A. Henzinger |
A Really Temporal Logic. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
EXPSPACE-completeness, linear-time temporal logic, model checking, discrete time, real-time requirements, dense time |
12 | Foto N. Afrati, Christos H. Papadimitriou |
The Parallel Complexity of Simple Logic Programs. |
J. ACM |
1993 |
DBLP DOI BibTeX RDF |
polynomial fringe, polynomial stock, pushdown, automaton, P-completeness, NC |
12 | Andrea S. LaPaugh |
Recontamination Does Not Help to Search a Graph. |
J. ACM |
1993 |
DBLP DOI BibTeX RDF |
pursuit and evasion, NP-completeness, graph searching |
12 | Christos Papatheodorou, Vangelis Magirou, Vangelis Kiountouzis |
Problem decomposition in distributed problem-solving systems. |
Appl. Intell. |
1993 |
DBLP DOI BibTeX RDF |
NP-completeness, directed acyclic graphs, Distributed problem solving, problem decomposition |
12 | David Shallcross, Victor Y. Pan, Yu Lin-Kriz |
The NC Equivalence of Planar Integer Linear Programming and Euclidean GCD |
FOCS |
1993 |
DBLP DOI BibTeX RDF |
NC equivalence, planar integer linear programming, Euclidean GCD, NC-reduction, remainder sequence, positive integers, Euclidean algorithm, P-completeness |
12 | Snehamay Kundu |
Basis Sets for Synthesis of Switching Functions. |
IEEE Trans. Computers |
1992 |
DBLP DOI BibTeX RDF |
basis set, logic primitives, synthesis, logic design, completeness, switching function, switching functions, Reed-Muller expansion |
12 | Jean H. Gallier, Paliath Narendran, Stan Raatz, Wayne Snyder |
Theorem Proving Using Equational Matings and Rigid E-Unification. |
J. ACM |
1992 |
DBLP DOI BibTeX RDF |
Knuth-Bendix procedure, matings, NP-completeness, unification, automated theorem proving, equational reasoning |
12 | Stephen A. Fenner, Lance Fortnow, Stuart A. Kurtz |
The Isomorphism Conjecture Holds Relative to an Oracle |
FOCS |
1992 |
DBLP DOI BibTeX RDF |
symmetric perfect generic sets, isomorphism conjecture, NP completeness, oracle |
12 | Greg N. Frederickson |
Planar Graph Decomposition and All Pairs Shortest Paths. |
J. ACM |
1991 |
DBLP DOI BibTeX RDF |
succinct encoding, approximation algorithm, NP-completeness, planar graph, graph embedding, all pairs shortest paths, outerplanar graph, compact routing table |
12 | Martin Gogolla, Uwe Hohenstein |
Towards a Semantic View of an Extended Entity-Relationship Model. |
ACM Trans. Database Syst. |
1991 |
DBLP DOI BibTeX RDF |
relational completeness, abstract data type, formal semantics, entity-relationship model, calculus, semantic data model, aggregate function, safeness |
12 | Sanjoy K. Baruah, Gilad Koren, Bhubaneswar Mishra, Arvind Raghunathan, Louis E. Rosier, Dennis E. Shasha |
On-line Scheduling in the Presence of Overload |
FOCS |
1991 |
DBLP DOI BibTeX RDF |
processor time, online scheduling algorithm, nontrivial performance, data structures, NP completeness, upper bounds, deadline, execution time, preemptive scheduling, optimal performance, sporadic tasks, uniprocessor |
12 | Carme Àlvarez, José L. Balcázar, Joaquim Gabarró, Miklos Santha |
Parallel Complexity in the Design and Analysis on Conurrent Systems. |
PARLE (1) |
1991 |
DBLP DOI BibTeX RDF |
partially commutative monoids, PRAM algorithms, Petri nets, CCS, boolean circuits, P-completeness |
12 | Phokion G. Kolaitis, Christos H. Papadimitriou |
Some Computational Aspects of Circumscription |
J. ACM |
1990 |
DBLP DOI BibTeX RDF |
Horn, Model checking, NP-completeness, first-order logic, nonmonotonic reasoning, undecidability, Circumscription |
12 | O. Deux |
The Story of O2. |
IEEE Trans. Knowl. Data Eng. |
1990 |
DBLP DOI BibTeX RDF |
O/sub 2/, disk management, overriding, user interface generation tools, complete programming environment, multilanguage paradigm, dual mode, workstation/server configuration, prototype performance, object-oriented programming, programming environment, DBMS, database management systems, query language, query languages, completeness, inheritance, typing, extensibility, sharing, persistence, encapsulation, complex objects, object-oriented database system, object identity |
12 | Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar |
Decision Problems for Propositional Linear Logic |
FOCS |
1990 |
DBLP DOI BibTeX RDF |
noncommutative propositional linear logic, propositional linear logic, multiplicative fragment, unrestricted weakening, NP-completeness, undecidability, decision problem, PSPACE-complete |
12 | Russell Impagliazzo, Leonid A. Levin |
No Better Ways to Generate Hard NP Instances than Picking Uniformly at Random |
FOCS |
1990 |
DBLP DOI BibTeX RDF |
distributed NP problems, hard NP, DNP problem, P-time computable distributions, NP completeness, probability distributions, average-case complexity |
12 | Frank S. de Boer |
A Proof System for the Language POOL. |
REX Workshop |
1990 |
DBLP DOI BibTeX RDF |
partial correctness, completeness, Object, soundness, Hoare-logic, pointers, proof-system, rendezvous, object-creation |
12 | Michael Formann, Frank Wagner 0001 |
The VLSI layout in various embedding models. |
WG |
1990 |
DBLP DOI BibTeX RDF |
embedding models, Manhattan model, knock-knee model, routing, VLSI, NP-completeness, layout |
12 | Fritz Henglein |
Fast Left-Linear Semi-Unification. |
ICCI |
1990 |
DBLP DOI BibTeX RDF |
semi-unification, left-linear, P-completeness |
12 | David Bernstein, Michael Rodeh, Izidor Gertner |
On the Complexity of Scheduling Problems for Parallel/Pipelined Machines. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
pipelined machines, scheduling, computational complexity, complexity, NP-completeness, parallel machines, parallel machines, polynomial-time algorithm, pipeline processing, scheduling problems, dedicated processors |
12 | Dimiter Vakarelov |
Modal Logics for Knowledge Representation Systems. |
Logic at Botik |
1989 |
DBLP DOI BibTeX RDF |
knowledge representation systems, logics for knowledge representation, completeness theorems, filtration theorems, modal logics |
12 | Martin Gogolla |
Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach. |
TAPSOFT, Vol.1 |
1989 |
DBLP DOI BibTeX RDF |
Theory of data bases, relational completeness, data model, abstract data type, formal semantics, integrity constraint, entity-relationship model, calculus, aggregate function |
12 | Karl R. Abrahamson, John A. Ellis, Michael R. Fellows, Manuel E. Mata |
On the Complexity of Fixed Parameter Problems (Extended Abstract) |
FOCS |
1989 |
DBLP DOI BibTeX RDF |
fixed parameter problems, polynomially indexed relations, complexity, completeness, polynomial time, fixed-parameter tractability |
12 | Rob Gerth |
Foundations of Compositional Program Refinement - Safety Properties. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
algebraic process theory, assertional methods, (pre-)congruence, simulation, communication, concurrency, refinement, implementation, completeness, behavior, compositionality, transition system, full abstractness, shared variables |
12 | Leonid A. Levin |
Homogeneous Measures and Polynomial Time Invariants |
FOCS |
1988 |
DBLP DOI BibTeX RDF |
pseudorandom strings, homogeneous measures, polynomial time invariants, average case NP-completeness, Kolmogorov complexity, probability distributions |
12 | Johan van Benthem |
Time, logic and computation. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
first-order definability, period structure, point structure, Completeness, correspondence, event structure, temporal operator, computational semantics, tense logic |
12 | Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan |
A logic for distributed transition systems. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
concurrent step, distributed transition systems, completeness, soundness, axiomatization |
12 | Grazyna Mirkowska, Andrzej Salwicki |
On Applications of Algorithmic Logic. |
CAAP |
1986 |
DBLP DOI BibTeX RDF |
algorithmic logic, LOGLAN, verification, specification, program, implementation, computation, completeness, extension, modules, expressivity, inference rules, axioms, semantical properties |
12 | Henryk Krawczyk, Marek Kubale |
An Approximation Algorithm for Diagnostic Test Scheduling in Multicomputer Systems. |
IEEE Trans. Computers |
1985 |
DBLP DOI BibTeX RDF |
diagnostic graph, diagnostic test scheduling, computational complexity, Approximation algorithm, NP-completeness, multicomputer system |
12 | Dan Benanav, Deepak Kapur, Paliath Narendran |
Complexity of Matching Problems. |
RTA |
1985 |
DBLP DOI BibTeX RDF |
Associative-Commutative, NP-Completeness, Matching, Associative, Commutative |
12 | Dana Richards |
Complexity of Single-Layer Routing. |
IEEE Trans. Computers |
1984 |
DBLP DOI BibTeX RDF |
single-layer routing, vertex disjoint paths, NP-completeness, planar graphs, VLSI design |
12 | Edward L. Robertson |
Microcode Bit Optimizations is N P-Complete. |
IEEE Trans. Computers |
1979 |
DBLP DOI BibTeX RDF |
parallelism., Control memory, microprogrammming, NP-completeness, minimization |
12 | Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman |
Efficient Optimization of a Class of Relational Expressions. |
ACM Trans. Database Syst. |
1979 |
DBLP DOI BibTeX RDF |
equivalence of queries, relational database, query optimization, NP-completeness, relational algebra, tableaux |
12 | Andrzej Lingas |
A PSPACE Complete Problem Related to a Pebble Game. |
ICALP |
1978 |
DBLP DOI BibTeX RDF |
dag, completeness in polynomial space, computational complexity, PSPACE, pebble game, AND/OR graph |
12 | Hon Fung Li |
Scheduling Trees in Parallel/Pipelined Processing Environments. |
IEEE Trans. Computers |
1977 |
DBLP DOI BibTeX RDF |
Flush time, polynomial completeness, scheduling vector, parallel, reconfiguration, pipeline, tree, latency, structure, sharing, preemption |
11 | Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra |
Polyhedral Completeness of Intermediate Logics: the nerve criterion. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Mohammad Golshani, Reihane Zoghifard |
Completeness of the Gödel-löB Provability Logic for the filter sequence of Normal Measures. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Ryan Mcconkey, Oluwafemi Olukoya |
Runtime and Design Time Completeness Checking of Dangerous Android App Permissions Against GDPR. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Dipeeka Luitel, Shabnam Hassani, Mehrdad Sabetzadeh |
Improving requirements completeness: automated assistance through large language models. |
Requir. Eng. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Tobias Reinhard |
Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Linda-Sophie Schneider, Gabriel Herl, Andreas K. Maier |
Integer Optimization of CT Trajectories using a Discrete Data Completeness Formulation. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Matt White, Ibrahim Haddad, Cailean Osborne, Xiao-Yang Liu, Ahmed Abdelmonsef, Sachin Varghese |
The Model Openness Framework: Promoting Completeness and Openness for Reproducibility, Transparency and Usability in AI. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Zian Li, Xiyuan Wang, Shijia Kang, Muhan Zhang |
On the Completeness of Invariant Geometric Deep Learning Models. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Hideo Bannai, Keisuke Goto 0001, Shunsuke Kanda, Dominik Köppl |
NP-Completeness for the Space-Optimality of Double-Array Tries. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Stefan Hetzl, Raheleh Jalali |
On the Completeness of Interpolation Algorithms. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Hrishikesh Patel, Tianwa Chen, Ivano Bongiovanni, Gianluca Demartini |
Estimating Gender Completeness in Wikipedia. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Christoph Glasmacher, Hendrik Weber, Lutz Eckstein |
Towards a Completeness Argumentation for Scenario Concepts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Andi Chen, Hua-Lei Yin, Zeng-Bing Chen, Shengjun Wu |
Hybrid Quantum-inspired Resnet and Densenet for Pattern Recognition with Completeness Analysis. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Simon Razniewski, Hiba Arnaout, Shrestha Ghosh, Fabian M. Suchanek |
Completeness, Recall, and Negation in Open-world Knowledge Bases: A Survey. |
ACM Comput. Surv. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Renaud Vilmart |
Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing. |
Log. Methods Comput. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand |
Learning-based Relaxation of Completeness Requirements for Data Entry Forms. |
ACM Trans. Softw. Eng. Methodol. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Petr Kuchynka, Jirí Raclavský |
Completeness in partial type theory. |
J. Log. Comput. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic |
A Probabilistic Temporal Epistemic Logic: Strong Completeness. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Gonzalo de la Cruz, Madalena Lira, Oscar Luaces, Beatriz Remeseiro |
Eye-LRCN: A Long-Term Recurrent Convolutional Network for Eye Blink Completeness Detection. |
IEEE Trans. Neural Networks Learn. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Camila Sanz, Adriana Marotta |
Context Based Completeness Assessment for Data Warehouse Hierarchies. |
DOLAP |
2024 |
DBLP BibTeX RDF |
|
11 | Pierre Ohlmann, Michal Skrzypczak |
Positionality in Σ⁰₂ and a Completeness Result. |
STACS |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Ian Shillito, Dominik Kirst |
A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic. |
CPP |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart |
Quantum Circuit Completeness: Extensions and Simplifications. |
CSL |
2024 |
DBLP DOI BibTeX RDF |
|
11 | Joanna Kaczmarek 0001, Jörg Rothe |
NPPP-Completeness of Control by Adding Players to Change the Penrose-Banzhaf Power Index in Weighted Voting Games. |
AAMAS |
2024 |
DBLP BibTeX RDF |
|
11 | Xiongjin Leng, Yan Yang 0001, Yongquan Jiang, Yan Liu |
A Road Surface Defect Segmentation Model Based on GLoRA and Multi-Scale Completeness. |
BigComp |
2024 |
DBLP DOI BibTeX RDF |
|
11 | W. P. M. H. Heemels, Aneel Tanwani |
Existence and Completeness of Solutions to Extended Projected Dynamical Systems and Sector-Bounded Projection-Based Controllers. |
IEEE Control. Syst. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yoram Timmerman, Rihem Nasfi, Guy De Tré, Filip Pattyn, Antoon Bronselaer |
Cost-based analysis of the impact of data completeness and representational consistency. |
Decis. Support Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Tahira Ullah, Sven Lautenbach, Benjamin Herfort, Marcel Reinmuth, Danijel Schorlemmer |
Assessing Completeness of OpenStreetMap Building Footprints Using MapSwipe. |
ISPRS Int. J. Geo Inf. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Hugh Xuechen Liu, Jussi Holopainen, Christian Wagner 0001 |
A design strategy for Geo AR mobile game sustainable success emphasizing game completeness. |
Entertain. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | John L. Bell |
Axiomatization and Completeness for Some Restricted Second-Order Languages. |
J. Multiple Valued Log. Soft Comput. |
2023 |
DBLP BibTeX RDF |
|
11 | Gunther Jäger |
Completeness for Saturated $\mathsf{L}$-Quasi-Uniform Limit Spaces. |
TFSS |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Grigory K. Olkhovikov |
On the Completeness of Some First-order Extensions of C. |
FLAP |
2023 |
DBLP BibTeX RDF |
|
11 | Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini 0001 |
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness. |
Appl. Categorical Struct. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Basit Ali, Stefan Cobzas, Mokhwetha Daniel Mabula |
Ekeland Variational Principle and Some of Its Equivalents on a Weighted Graph, Completeness and the OSC Property. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Kang Lu |
Completeness of Bethe Ansatz for Gaudin Models with gl(1|1) Symmetry and Diagonal Twists. |
Symmetry |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Michal Kleinbort, Kiril Solovey, Zakary Littlefield, Kostas E. Bekris, Dan Halperin |
Corrections to "Probabilistic Completeness of RRT for Geometric and Kinodynamic Planning With Forward Propagation". |
IEEE Robotics Autom. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jean Fornerod, Hoai-Minh Nguyen |
The Weyl Law of Transmission Eigenvalues and the Completeness of Generalized Transmission Eigenfunctions without Complementing Conditions. |
SIAM J. Math. Anal. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Adam Wright, Richard Schreiber, David W. Bates, Skye Aaron, Angela Ai, Raja Arul Cholan, Akshay Desai, Miguel Divo, David A. Dorr, Thu-Trang T. Hickman, Salman T. Hussain, Shari Just, Brian Koh, Stuart R. Lipsitz, Dustin McEvoy, S. Trent Rosenbloom, Elise M. Russo, David Yut-Chee Ting, Asli Weitkamp, Dean F. Sittig |
A multi-site randomized trial of a clinical decision support intervention to improve problem list completeness. |
J. Am. Medical Informatics Assoc. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Jennifer T. May, John Myers, Devon Noonan, Eleanor McConnell, Michael P. Cary |
A call to action to improve the completeness of older adult sexual and gender minority data in electronic health records. |
J. Am. Medical Informatics Assoc. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Chinedu Aniekwe, Kendra Cuffe, Israel Audu, Nannim Nalda, Bright Ibezim, Michael Nnakwe, ThankGod Anazodo, Mubarak Dada, Erin Rottinghaus Romano, McPaul Okoye, Monte Martin, Ritu Shrivastava |
Assessing the effect of electronic health information exchange on the completeness and validity of data for measuring viral load testing turnaround time in Nigeria. |
Int. J. Medical Informatics |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Davide Ancona, Pietro Barbieri, Elena Zucca |
Checked corecursive streams: Expressivity and completeness. |
Theor. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Joanna Alvarado-Uribe, Ari Yair Barrera-Animas, Miguel González-Mendoza 0001, Ariel Lucien García-Gamboa, Neil Hernández-Gress |
Towards a Standardized Evaluation of APIs Non-Functional Requirements Focused on Completeness and Soundness Qualities. |
Computación y Sistemas (CyS) |
2023 |
DBLP BibTeX RDF |
|
11 | Adrian de Wynter |
Turing Completeness and Sid Meier's Civilization. |
IEEE Trans. Games |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque |
The Topological Mu-Calculus: Completeness and Decidability. |
J. ACM |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Noam Mazor |
Key-Agreement with Perfect Completeness from Random Oracles. |
Electron. Colloquium Comput. Complex. |
2023 |
DBLP BibTeX RDF |
|
11 | Kalle Kujanpää, Joni Pajarinen, Alexander Ilin |
Hybrid Search for Efficient Planning with Completeness Guarantees. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Dusko Pavlovic, Temra Pavlovic |
From Gödel's Incompleteness Theorem to the completeness of bot religions (Extended abstract). |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | José Ángel Acosta, Anthony M. Bloch, David Martín de Diego |
Completeness of Riemannian metrics: an application to the control of constrained mechanical systems. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Iasson Karafyllis, Dionysis Theodosis, Markos Papageorgiou |
Forward Completeness and Applications to Control of Automated Vehicles. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Simon Razniewski, Hiba Arnaout, Shrestha Ghosh, Fabian M. Suchanek |
Completeness, Recall, and Negation in Open-World Knowledge Bases: A Survey. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Tobias Reinhard, Justus Fasse, Bart Jacobs 0002 |
Completeness Thresholds for Memory Safety of Array Traversing Programs. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Muhammad Ilyas Azeem, Sallam Abualhaija |
A Multi-solution Study on GDPR AI-enabled Completeness Checking of DPAs. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva 0001 |
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Amanda Vidal |
On the local consequence of modal Product logic: standard completeness and decidability. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Tobias Reinhard, Justus Fasse, Bart Jacobs 0002 |
Completeness Thresholds for Memory Safety: Unbounded Guarantees via Bounded Proofs (Extended Abstract). |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 5530 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|