|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1710 occurrences of 1136 keywords
|
|
|
Results
Found 3162 publication records. Showing 3162 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Gerome Miklau, Dan Suciu |
Containment and Equivalence for an XPath Fragment. (PDF / PS) |
PODS |
2002 |
DBLP DOI BibTeX RDF |
XML |
19 | Jan Hladik |
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny |
Towards Bounded Model Checking for the Universal Fragment of TCTL. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Katerina Hlavácková-Schindler, Martin Kampel, Robert Sablatnig |
Fitting of a closed planar curve representing a profile of an archaeological fragment. |
Virtual Reality, Archeology, and Cultural Heritage |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Yuichi Inadomi, Tatsuya Nakano, Kazuo Kitaura, Umpei Nagashima |
Increased Efficiency of Parallel Calculations of Fragment Molecular Orbitals by Using Fine-Grained Parallelization on a HITACHI SR8000 Supercomputer. |
HPCN |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Regimantas Pliuskevicius |
Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Carsten Lutz, Ulrike Sattler, Frank Wolter |
Modal Logic and the Two-Variable Fragment. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Geert Jan Bex, Sebastian Maneth, Frank Neven |
A Formal Model for an Expressive Fragment of XSLT. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Domenico Cantone, Calogero G. Zarba |
A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Alfons Geser, Wolfgang Küchlin |
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
List of Keywords propositional satisfiability, functional decision diagram (FDD), formal hardware verification, term rewriting, term graph rewriting |
19 | Erik Urland |
Parallel Algorithm for Computing the Fragment Vector in Steiner Triple Systems. |
Euro-Par, Vol. I |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Romulo Goncalves, Martin L. Kersten |
The Data Cyclotron query processing scheme. |
EDBT |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Aminul Haque Chowdhury, Muhammad Ikram 0001, Hyon-Soo Cha, Hassen Redwan, S. M. Saif Shams, Ki-Hyung Kim, Seung-Wha Yoo |
Route-over vs mesh-under routing in 6LoWPAN. |
IWCMC |
2009 |
DBLP DOI BibTeX RDF |
WSN, routing, 6LoWPan |
19 | Pawel Parys |
XPath evaluation in linear time with polynomial combined complexity. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
tree with data, xpath, xml |
19 | Fang Liu, Meng-Cheng Huang, Xuehui Liu, Enhua Wu |
Single pass depth peeling via CUDA rasterizer. |
SIGGRAPH Talks |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Tak-Lam Wong, Wai Lam, Bo Chen |
Mining employment market via text block detection and adaptive cross-domain information extraction. |
SIGIR |
2009 |
DBLP DOI BibTeX RDF |
text block detection, information extraction |
19 | Xiaoying Wu, Dimitri Theodoratos, Stefanos Souldatos, Theodore Dalamagas 0001, Timos K. Sellis |
Efficient Evaluation of Generalized Tree-Pattern Queries with Same-Path Constraints. |
SSDBM |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Sven Hartmann, Sebastian Link |
Expressive, yet tractable XML keys. |
EDBT |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Minzhu Xie, Jianxin Wang 0001 |
An Improved (and Practical) Parameterized Algorithm for the Individual Haplotyping Problem MFR with Mate-Pairs. |
Algorithmica |
2008 |
DBLP DOI BibTeX RDF |
SNP (single-nucleotide polymorphism), NP-hardness, Haplotype, Genotype, Parameterized algorithm |
19 | Constantin Papaodysseus, Mihalis Exarhos, Mihalis Panagopoulos, Panayiotis Rousopoulos, C. Triantafillou, Thanasis Panagopoulos |
Image and Pattern Analysis of 1650 B.C. Wall Paintings and Reconstruction. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Peter Habermehl, Radu Iosif, Tomás Vojnar |
A Logic of Singly Indexed Arrays. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Diego Magro, Anna Goy |
The business knowledge for customer relationship management: an ontological perspective. |
OBI |
2008 |
DBLP DOI BibTeX RDF |
customer relationship, management, enterprise ontology |
19 | Kuei-Ping Shih, San-Yuan Wang, Chien-Min Chou, Li-Jie Cheng |
A dynamic rate adaptation with fragmentation MAC protocol against channel variation for wireless LANs. |
ISCC |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Wei-Mou Zheng |
The Use of a Conformational Alphabet for Fast Alignment of Protein Structures. |
ISBRA |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Minzhu Xie, Jianxin Wang 0001, Jianer Chen |
A Practical Exact Algorithm for the Individual Haplotyping Problem MEC. |
BMEI (1) |
2008 |
DBLP DOI BibTeX RDF |
SNP (single-nucleotide polymorphism), MEC (Minimum Error Correction), NP-hardness, haplotype |
19 | Conrad Drescher, Michael Thielscher |
A Fluent Calculus Semantics for ADL with Plan Constraints. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Oliver Kutz |
Notes on Logics of Metric Spaces. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
expressive completeness, Boolean modal logic, interpolation, Metric spaces, hybrid logic, axiomatisation |
19 | Shubhra Sankar Ray, Sanghamitra Bandyopadhyay, Sankar K. Pal |
Genetic operators for combinatorial optimization in TSP and microarray gene ordering. |
Appl. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Gene analysis, Biocomputing, Data mining, Evolutionary algorithm, Microarray, Soft computing |
19 | Jon Hasselgren, Tomas Akenine-Möller |
PCU: the programmable culling unit. |
ACM Trans. Graph. |
2007 |
DBLP DOI BibTeX RDF |
hardware, rasterization, shaders, culling |
19 | James McCann, Nancy S. Pollard |
Responsive characters from motion fragments. |
ACM Trans. Graph. |
2007 |
DBLP DOI BibTeX RDF |
character control, motion graphs, motion generation |
19 | Yoshiki Higo, Yasushi Ueda, Shinji Kusumoto, Katsuro Inoue |
Simultaneous Modification Support based on Code Clone Analysis. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Balder ten Cate, Johan van Benthem, Jouko A. Väänänen |
Lindstrom theorems for fragments of first-order logic. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Sergio Muñoz, Jorge Pérez 0001, Claudio Gutierrez 0001 |
Minimal Deductive Systems for RDF. |
ESWC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jos de Bruijn, Stijn Heymans |
RDF and Logic: Reasoning and Extension. |
DEXA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Hisham M. Almasaeid, Ahmed E. Kamal 0001 |
Data delivery in fragmented wireless sensor networks using mobile agents. |
MSWiM |
2007 |
DBLP DOI BibTeX RDF |
wireless sensor networks, mobile agents, closed queueing networks |
19 | Rémi Brochenin, Stéphane Demri, Étienne Lozes |
Reasoning About Sequences of Memory States. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Shimon Ullman, Boris Epshtein |
Visual Classification by a Hierarchy of Extended Fragments. |
Toward Category-Level Object Recognition |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Andrew R. Willis, David B. Cooper |
Estimating a-priori Unknown 3D Axially Symmetric Surfaces from Noisy Measurements of Their Fragments. |
3DPVT |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Steven P. Callahan, Milan Ikits, João Luiz Dihl Comba, Cláudio T. Silva |
Hardware-Assisted Visibility Sorting for Unstructured Volume Rendering. |
IEEE Trans. Vis. Comput. Graph. |
2005 |
DBLP DOI BibTeX RDF |
Volume visualization, graphics processors, visibility sorting |
19 | M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher 0001, Boris Konev |
First-Order Temporal Verification in Practice. |
J. Autom. Reason. |
2005 |
DBLP DOI BibTeX RDF |
temporal logics of knowledge, theorem proving, resolution, first-order temporal logic |
19 | James Laird |
The Elimination of Nesting in SPCF. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Enrique Alba 0001, Gabriel Luque, Sami Khuri |
Assembling DNA fragments with parallel algorithms. |
Congress on Evolutionary Computation |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Mouna Saad, Leila Jemni Ben Ayed |
Introducing Dynamic Properties with Past Temporal Operators in the B Refinement. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Nadia Busi, Gianluigi Zavattaro |
Deciding Reachability in Mobile Ambients. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Christoph Koch 0001 |
On the complexity of nonrecursive XQuery and functional query languages on complex values. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Tomás Brázdil, Antonín Kucera 0001, Oldrich Strazovský |
On the Decidability of Temporal Properties of Probabilistic Pushdown Automata. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Witold Charatonik, Lilia Georgieva, Patrick Maier 0001 |
Bounded Model Checking of Pointer Programs. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Martin Grohe, Nicole Schweikardt |
The Succinctness of First-Order Logic on Linear Orders. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Michael Fisher 0001, Alexei Lisitsa 0001 |
Monodic ASMs and Temporal Verification. |
Abstract State Machines |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Byung-Uck Kim, Woo-Chan Park, Sung-Bong Yang, Tack-Don Han |
A Cost-Effective Supersampling for Full Scene AntiAliasing. |
Asia-Pacific Computer Systems Architecture Conference |
2004 |
DBLP DOI BibTeX RDF |
Graphics Hardware, Antialiasing, Supersampling, Rendering Algorithm |
19 | Krzysztof Kryszczuk, Patrice Morier, Andrzej Drygajlo |
Study of the Distinctiveness of Level 2 and Level 3 Features in Fragmentary Fingerprint Comparison. |
ECCV Workshop BioAW |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Helmut Schwichtenberg |
Proof Search in Minimal Logic. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev |
Logics of metric spaces. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
expressive completeness, Decidability, spatial reasoning, metric spaces |
19 | Janne V. Kujala, Tuomas J. Lukka |
Rendering recognizably unique textures. |
IV |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Guangyuan Li, Zhisong Tang |
Translating a Continuous-Time Temporal Logic into Timed Automata. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Frank D. Valencia |
Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar |
On the Universal and Existential Fragments of the µ-Calculus. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Marko Samer, Helmut Veith |
Validity of CTL Queries Revisited. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Konstantin Biatov |
Large Text and Audio Data Alignment for Multimedia Applications. |
TSD |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Erich Grädel, Colin Hirsch, Martin Otto 0001 |
Back and forth between guarded and modal logics. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
guarded logic, modal logic, Bisimulation, model theory |
19 | Witold Charatonik, Andrew D. Gordon 0001, Jean-Marc Talbot |
Finite-Control Mobile Ambients. |
ESOP |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt |
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Andrew D. Gordon 0001, Don Syme |
Typing a multi-language intermediate code. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Paolo Bottoni, Bernd Meyer 0001, Francesco Parisi-Presicce |
On a Uniform Logical Framework for Diagrammatic Reasoning. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Jean-Marc Talbot |
On the Alternation-Free Horn Mu-calculus. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Michael Dierkes |
An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov |
The Decidability of Simultaneous Rigid E-Unification with One Variable. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Shashi Shekhar, Andrew Fetterer, Bjajesh Goyal |
Materialization Trade-Offs in Hierarchical Shortest Path Algorithms. |
SSD |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Ahmed Bouajjani, Peter Habermehl |
Constrained Properties, Semilinear Systems, and Petri Nets. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Michele Boreale, Luca Trevisan |
On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract). |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Pavel A. Pevzner, Robert J. Lipshutz |
Towards DNA Sequencing Chips. |
MFCS |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Ahmed Bouajjani, Rachid Echahed, Riadh Robbana |
Verification of Nonregular Temporal Properties for Context-Free Processes. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Klaus U. Schulz |
On Existential Theories of List Concatenation. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Sakti Pramanik, David T. Kao, David Vineyard |
Fragmentation of Recursive Relations in Distributed Datbases. |
EDBT |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Ali Safari Mamaghani, Mostafa Mahi, Mohammad Reza Meybodi |
A Learning Automaton Based Approach for Data Fragments Allocation in Distributed Database Systems. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
Object migration learning automaton, Distributed Data fragment allocation, Distributed systems |
16 | Bernhard Haslhofer, Wolfgang Jochum, Ross King, Christian Sadilek, Karin Schellner |
The LEMO annotation framework: weaving multimedia annotations with the web. |
Int. J. Digit. Libr. |
2009 |
DBLP DOI BibTeX RDF |
Fragment identification, Multimedia, Semantics, Interoperability, Web, Annotations |
16 | Jun Liu 0027, Mark Roantree |
Precomputing queries for personal health sensor environments. |
MEDES |
2009 |
DBLP DOI BibTeX RDF |
XPath view, XPath view materialisation, multi-fragment, view adaptation |
16 | Gustavo Reis, Francisco Fernández 0001, Gustavo Olague |
Cooperative and decomposable approaches on royal road functions: overcoming the random mutation hill-climber. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
gene fragment competition, hitchhiking, parisian approach, royal road |
16 | Simon Winkelbach, Friedrich M. Wahl |
Pairwise Matching of 3D Fragments Using Cluster Trees. |
Int. J. Comput. Vis. |
2008 |
DBLP DOI BibTeX RDF |
Fracture matching, 3D puzzle, Fragment alignment, Broken objects, Surface registration, Cluster tree |
16 | Bjorn De Sutter, Bertrand Anckaert, Jens Geiregat, Dominique Chanet, Koen De Bosschere |
Instruction Set Limitation in Support of Software Diversity. |
ICISC |
2008 |
DBLP DOI BibTeX RDF |
code fragment matching, diversity, software protection, binary rewriting |
16 | Ismail Omar Hababeh, Muthu Ramachandran, Nicholas Bowring |
A high-performance computing method for data allocation in distributed database systems. |
J. Supercomput. |
2007 |
DBLP DOI BibTeX RDF |
High-performance data allocation, Fragment allocation, Simulation, Clustering, Performance evaluation, Communication cost |
16 | Degui Zhi, Uri Keich, Pavel A. Pevzner, Steffen Heber, Haixu Tang |
Correcting Base-Assignment Errors in Repeat Regions of Shotgun Assembly. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2007 |
DBLP DOI BibTeX RDF |
Fragment assembly, finishing, expectation maximization |
16 | Haiyan Kang, Jichang Wu, Guojun Li |
Removable Edges of a Spanning Tree in 3-Connected 3-Regular Graphs. |
FAW |
2007 |
DBLP DOI BibTeX RDF |
3-connected 3-regular graph, removable edge, edge-vertex-cut fragment |
16 | Zhigang Hua, Xing Xie 0001, Hao Liu 0007, Hanqing Lu, Wei-Ying Ma |
Design and Performance Studies of an Adaptive Scheme for Serving Dynamic Web Content in a Mobile Computing Environment. |
IEEE Trans. Mob. Comput. |
2006 |
DBLP DOI BibTeX RDF |
small form factors, Web content adaptation, fragment caching, Mobile computing, dynamic content, adaptive content delivery |
16 | Balder ten Cate, Massimo Franceschet |
Guarded Fragments with Constants. |
J. Log. Lang. Inf. |
2005 |
DBLP DOI BibTeX RDF |
complexity, hybrid logic, guarded fragment |
16 | Jichang Wu, Xueliang Li 0001 |
Removable Edges in Longest Cycles of 4-Connected Graphs. |
Graphs Comb. |
2004 |
DBLP DOI BibTeX RDF |
4-Connected graph, Removable edge, Contractible edge, Edge-vertex-cut fragment |
16 | Willem J. Blok, James G. Raftery |
Fragments of R-Mingle. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
Sugihara algebra, mingle, fragment, RM, relevance logic |
16 | Roman Kossak |
A note on a theorem of Kanovei. |
Arch. Math. Log. |
2004 |
DBLP DOI BibTeX RDF |
Fragment of arithmetic, Recursive saturation, Satisfaction class |
16 | Anindya Datta, Kaushik Dutta, Helen M. Thomas, Debra E. VanderMeer, Krithi Ramamritham |
Proxy-based acceleration of dynamically generated content on the world wide web: An approach and implementation. |
ACM Trans. Database Syst. |
2004 |
DBLP DOI BibTeX RDF |
caching dynamically generated content, fragment caching, world wide web, implementation, proxy caching, Edge caching |
16 | Wen-Syan Li, Wang-Pin Hsiung, Oliver Po, Koji Hino, K. Selçuk Candan, Divyakant Agrawal |
Challenges and practices in deploying web acceleration solutions for distributed enterprise systems. |
WWW |
2004 |
DBLP DOI BibTeX RDF |
edge server, web acceleration, reliability, scalability, fragment, j2ee, application server, dynamic content |
16 | Qingsong Wei, Xianliang Lu, Xu Zhou |
DFTS: a novel distributed high fault-tolerance storage mechanism. |
ACM SIGOPS Oper. Syst. Rev. |
2003 |
DBLP DOI BibTeX RDF |
fault-tolerance, network, distributed, storage, fragment, XOR |
16 | Vijay Kumar 0002, Nitin Prabhu, Margaret H. Dunham, Ayse Yasemin Seydim |
TCOT-A Timeout-Based Mobile Transaction Commitment Protocol. |
IEEE Trans. Computers |
2002 |
DBLP DOI BibTeX RDF |
execution fragment, Mobile Database System, handoff, commit, compensation, Cell, timeout, mobile transaction |
16 | Jesse Anton, Lawrence Jacobs, Xiang Liu, Jordan Parker, Zheng Zeng, Tie Zhong |
Web caching for database applications with Oracle Web Cache. |
SIGMOD Conference |
2002 |
DBLP DOI BibTeX RDF |
partial-page caching, performance, personalization, caching, heuristics, consistency, template, fragment, ORACLE, disambiguation, session, dynamic content, invalidation |
16 | Thomas Eiter, Yuri Gurevich, Georg Gottlob |
Existential second-order logic over strings. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
S1S, existential fragment, finite satisfiability, finite words, prefix classes, model checking, strings, regular languages, descriptive complexity, finite model theory, decision problem, NP, second-order logic |
16 | Badara Ali Kaba, Jean-Claude Derniame |
Evolution of on-line process fragments families. |
ISPW |
1996 |
DBLP DOI BibTeX RDF |
online process fragment family evolution, online product families, cooperative development process, access mechanism, transient update mechanism, configurable fragments, evolutionary process fragments, software reuse, software reusability, software development processes |
16 | Aniello Cimitile, Andrea De Lucia, Malcolm Munro |
Identifying reusable functions using specification driven program slicing: a case study. |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition |
16 | 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 |
13 | N. Umasankari, Balasundaram Muthukumar, C. Shanmuganathan |
Performance Evaluation of Biometric Authentication Using Fragment Jaya Optimizer-Based Deep CNN with Multi-kernel SVM. |
SN Comput. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Yangjie Cao, Zheng Fang, Hui Tian, Ronghan Wei |
2D Irregular Fragment Reassembly With Deep Learning Assistance. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
13 | Sota Matsuoka, Kota Sakakura, Yoshinobu Akinaga, Kazuki Akisawa, Koji Okuwaki, Hideo Doi, Yuji Mochizuki |
Enhancement of energy decomposition analysis in fragment molecular orbital calculations. |
J. Comput. Chem. |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 3162 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|