|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3490 occurrences of 2130 keywords
|
|
|
Results
Found 5006 publication records. Showing 5006 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
80 | Angela Krstic, Kwang-Ting Cheng, Srimat T. Chakradhar |
Primitive delay faults: identification, testing, and design for testability. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
64 | Kishan Chand Gupta, Subhamoy Maitra |
Primitive Polynomials over GF(2) - A Cryptologic Approach. |
ICICS |
2001 |
DBLP DOI BibTeX RDF |
Cyclotomic Cosets, Stream Cipher, Galois field, Primitive Polynomials |
58 | Ayineedi Venkateswarlu, Subhamoy Maitra |
Further Results on Multiples of Primitive Polynomials and Their Products over GF(2). |
ICICS |
2002 |
DBLP DOI BibTeX RDF |
Nonlinear Combiner Model, Primitive Polynomials & Their Products, Cryptanalysis, Stream Cipher, Galois Field, Polynomial Multiples |
58 | Kishan Chand Gupta, Subhamoy Maitra |
Multiples of Primitive Polynomials over GF(2). |
INDOCRYPT |
2001 |
DBLP DOI BibTeX RDF |
Cryptanalysis, Stream Cipher, Galois Field, Primitive Polynomials, Polynomial Multiples |
54 | Chih-Chieh Hsiao, Chung-Ping Chung, Hui-Chin Yang |
A Hierarchical Primitive Lists Structure for Tile-Based Rendering. |
CSE (2) |
2009 |
DBLP DOI BibTeX RDF |
|
54 | Ramesh C. Tekumalla, Premachandran R. Menon |
Identification of primitive faults in combinational and sequentialcircuits. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Ramesh C. Tekumalla, Premachandran R. Menon |
Test generation for primitive path delay faults in combinational circuits. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
Sensitizing cubes, static sensitizability, primitive faults, test generation |
48 | Daniel Goldstein, Alfred W. Hales |
Strongly Primitive Elements. |
SSC |
2007 |
DBLP DOI BibTeX RDF |
Golomb conjecture, finite field, primitive element |
48 | Debojyoti Bhattacharya, Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury |
A Cellular Automata Based Approach for Generation of Large Primitive Polynomial and Its Application to RS-Coded MPSK Modulation. |
ACRI |
2006 |
DBLP DOI BibTeX RDF |
MPSK Modulation, RS-encoding, Cellular Automata, Galois field, Primitive polynomial |
48 | LiQin Tan |
Digital-Primitive Art Research: Animation Permeates Centuries-old Rawhides. |
IV |
2004 |
DBLP DOI BibTeX RDF |
Primitive Art, Digital Art, 3D Animation |
45 | Akira Asano, Takeshi Ohkubo, Mitsuji Muneyasu, Takao Hinamoto |
Primitive and Point Configuration Texture Model and Primitive Estimation Using Mathematical Morphology. |
SCIA |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Stephen D. Cohen, Dirk Hachenberger |
Primitive Normal Bases with Prescribed Trace. |
Appl. Algebra Eng. Commun. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Free element, Finite field, Trace, Normal basis, Primitive element, Character sum |
43 | Mukund Sivaraman, Andrzej J. Strojwas |
Timing analysis based on primitive path delay fault identification. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
primitive path delay faults, correlated delay, floating mode, timing analysis, timing verification, false path, path delay fault testing |
43 | Suresh B. Marapane, Mohan M. Trivedi |
Multi-Primitive Hierarchical (MPH) Stereo Analysis. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
multi-primitive hierarchical stereo analysis, hierarchical control strategy, region-based analysis module, linear edge segment-based analysis module, edgel-based stereo analysis module, multiple abstraction, image segmentation, edge detection, stereo image processing, hierarchical systems, image regions, disparity maps |
42 | Kai-Yuan Cai, Lei Zhao, Feng Wang |
A Dynamic Partitioning Approach for GUI Testing. |
COMPSAC (2) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Xu-Hong Xiao, Ru-Wei Dai |
A hierarchical on-line Chinese signature verification system. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
Chinese signature verification, static features, statistic decision, input primitive string, reference primitive string, attributed automaton, reference databases, feature extraction, feature extraction, handwriting recognition, template matching, on-line, signature verification, verification processes, dynamic features |
40 | Tsu-Wang Chen, Wei-Chung Lin |
A Neural Network Approach to CSG-Based 3-D Object Recognition. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
neural network approach, precedence graphs, primitive volume, constraint satisfaction network, matching process, match validity, primitive similarity, geometric structure preservation, computer vision, graph theory, object recognition, neural nets, solid modelling, range images, constructive solid geometry, energy function, computer vision system, 3-D object recognition |
40 | Eric Saund |
Symbolic Construction of a 2-D Scale-Space Image. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1990 |
DBLP DOI BibTeX RDF |
2-D scale-space image, multiscale primitive shape description, grouping operations, edge primitives, partial-region assertions, curved contours, primitive corners, bars, pattern recognition, pattern recognition, picture processing, picture processing |
38 | Leo Szumel, John D. Owens |
The Virtual Pheromone Communication Primitive. |
DCOSS |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Stephen D. Cohen |
Primitive Polynomials over Small Fields. |
International Conference on Finite Fields and Applications |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Mukund Sivaraman, Andrzej J. Strojwas |
Primitive path delay faults: identification and their use in timinganalysis. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Jun-Hyuk Lee, Geun-Jae Jung, Jong-Hee Park |
Action Generator Based on Primitive Actions and Individual Properties. |
KES-AMSTA |
2009 |
DBLP DOI BibTeX RDF |
Action Generator, Action Hierarchy, Primitive Action |
38 | Stefan Kahrs |
Genetic programming with primitive recursion. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
program transformation, grammatical evolution, primitive recursion |
38 | Gerhard Roth, Martin D. Levine |
Geometric Primitive Extraction Using a Genetic Algorithm. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
geometric primitive extraction, geometric sensor data, minimal subset, genetic algorithms, genetic algorithm, computer vision, feature extraction, optimisation, Hough transform, geometry, model-based vision, random search |
36 | Kazuyuki Nagata, Natsuki Yamanobe |
Picking up a towel by cooperation of functional finger actions. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Indrakshi Ray, Wei Huang |
Increasing Expressiveness of Composite Events Using Parameter Contexts. |
ADBIS |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Yuval Ishai, Eyal Kushilevitz, Yehuda Lindell, Erez Petrank |
Black-box constructions for secure computation. |
STOC |
2006 |
DBLP DOI BibTeX RDF |
theory of cryptography, oblivious transfer, secure computation, black-box reductions |
36 | Jun Sun, Huazhu Song |
Feature extraction and reconstruction of particles reinforced metal matrix composite microstructure. |
ICIS |
2009 |
DBLP DOI BibTeX RDF |
canny edge detection, features of microstrcuture, gray scale histogram, multi-paticles primitive cell method, particles reinforced metal matrix composite |
33 | Elena Czeizler, Lila Kari, Shinnosuke Seki |
On a Special Class of Primitive Words. |
MFCS |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Praveen R. Samala, Hamid Vakilzadian, Dietmar P. F. Möller |
Modeling and simulation of common primitive operations used in block ciphers. |
SCSC |
2007 |
DBLP BibTeX RDF |
discrete event simulation, hardware modeling, encryption algorithms |
33 | Francesco Bonchi, Fosca Giannotti, Dino Pedreschi |
A Relational Query Primitive for Constraint-Based Pattern Mining. |
Constraint-Based Mining and Inductive Databases |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Sung-Dong Cho, Seung Taek Ryoo, Tai-Ho Choi, Kyung-hyun Yoon |
3D Primitive Reconstruction Using the Line Segment with Single Image. |
ICCSA (3) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Subhamoy Maitra, Kishan Chand Gupta, Ayineedi Venkateswarlu |
Multiples of Primitive Polynomials and Their Products over GF(2). |
Selected Areas in Cryptography |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Zhiping Lin 0001, Jiang Qian Ying, Li Xu 0004 |
Further results on primitive factorizations for nD polynomial matrices. |
ISCAS (2) |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Mariusz H. Jakubowski, Ramarathnam Venkatesan |
The Chain & Sum Primitive and Its Applications to MACs and Stream Ciphers. |
EUROCRYPT |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Mukund Sivaraman, Andrzej J. Strojwas |
Primitive Path Delay Fault Identification. |
VLSI Design |
1997 |
DBLP DOI BibTeX RDF |
|
32 | Jakub Pawlewicz, Mihai Patrascu |
Order Statistics in the Farey Sequences in Sublinear Time and Counting Primitive Lattice Points in Polygons. |
Algorithmica |
2009 |
DBLP DOI BibTeX RDF |
Möbius inversion, Mertens function, Primitive lattice points, Farey sequence |
32 | Wentao Huang, Weijie Wang, Xuezeng Zhao |
Rule Extraction Method in Incomplete Decision Table for Fault Diagnosis Based on Discernibility Matrix Primitive. |
RSKT |
2008 |
DBLP DOI BibTeX RDF |
Incomplete decision table, Discernibility matrix primitive, Fault diagnosis, Rule extraction |
32 | Shenglin Zhou |
Block Primitive 2-(v, k, 1) Designs Admitting a Ree Group of Characteristic Two. |
Des. Codes Cryptogr. |
2005 |
DBLP DOI BibTeX RDF |
block primitive, Ree group, automorphism, block design |
32 | Joachim Lambek, Philip J. Scott |
An Exactification of the Monoid of Primitive Recursive Functions. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
primitive recursive function, regular and exact category, idempotent splitting completion, relation calculus, pers |
32 | Janusz Rajski, Jerzy Tyszer |
Primitive Polynomials Over GF(2) of Degree up to 660 with Uniformly Distributed Coefficients. |
J. Electron. Test. |
2003 |
DBLP DOI BibTeX RDF |
ring generators, linear feedback shift registers, primitive polynomials |
32 | Henar Herrero, Sergio Hoyas, Alberto Donoso, Ana M. Mancho, Jesús Miguel Chacón, R. F. Portugués, B. Yeste |
Chebyshev Collocation for a Convective Problem in Primitive Variable Formulation. |
J. Sci. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Chebyshev collocation, thermal convection, primitive variables formulation, pressure boundary conditions |
32 | Pei-Chi Wu |
Random number generation with primitive pentanomials. |
ACM Trans. Model. Comput. Simul. |
2001 |
DBLP DOI BibTeX RDF |
Primitive trinomials, generalized feedback shift register |
31 | Malay Kumar Nema, Subrata Rakshit |
Edge-Model Based Representation of Laplacian Subbands. |
ACCV (1) |
2006 |
DBLP DOI BibTeX RDF |
subband representation, primitive set, image magnification, scale-space interpolation, super-resolution |
31 | Yue Lu 0001, Chew Lim Tan |
Information Retrieval in Document Image Databases |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
Document image retrieval, partial word image matching, primitive string, word searching, document similarity measurement |
31 | Soonhak Kwon, Chang Hoon Kim, Chun Pyo Hong |
Efficient Exponentiation for a Class of Finite Fields GF(2 n) Determined by Gauss Periods. |
CHES |
2003 |
DBLP DOI BibTeX RDF |
Gauss period, Finite field, exponentiation, optimal normal basis, primitive element |
31 | John P. Robinson |
Aliasing probability transients. |
J. Electron. Test. |
1992 |
DBLP DOI BibTeX RDF |
aliasing transients, signature analysis, primitive polynomials, Aliasing probability, data compaction |
31 | Michael M. Marefat, Rangasami L. Kashyap |
Geometric Reasoning for Recognition of Three-Dimensional Object Features. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1990 |
DBLP DOI BibTeX RDF |
topologic evidence, three-dimensional object features, manufacturing shape features, cavity graphs, hypothesis generation-elimination, primitive features, Dempster-Shafer decision theory, clustering, pattern recognition, pattern recognition, feature extraction, graph theory, decision theory, geometric reasoning, polyhedral object |
28 | Phuong Hoai Ha, Philippas Tsigas, Otto J. Anshus |
NB-FEB: A Universal Scalable Easy-to-Use Synchronization Primitive for Manycore Architectures. |
OPODIS |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Phuong Hoai Ha, Philippas Tsigas, Otto J. Anshus |
Preliminary results on nb-feb, a synchronization primitive for parallel programming. |
PPoPP |
2009 |
DBLP DOI BibTeX RDF |
full/empty bit, non-blocking synchronization, universal primitives, combinability, many-core architectures |
28 | Bangy Li, Zhenan Sun, Tieniu Tan |
Hierarchical Shape Primitive Features for Online Text-independent Writer Identification. |
ICDAR |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Murat Demirbas, Onur Soysal, Muzammil Hussain |
A Singlehop Collaborative Feedback Primitive for Wireless Sensor Networks. |
INFOCOM |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Seiji Yamada, Takanori Komatsu |
Designing simple and effective expression of robot's primitive minds to a human. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
28 | María Teresa Signes Pont, Juan Manuel García Chamizo, Higinio Mora Mora, Gregorio de Miguel Casado |
Improvement of Image Transform Calculation Based on a Weighted Primitive. |
ICIAR (1) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Osamu Takaki |
Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
Proof-theoretic ordinal, Ordinal representation system, Inaccessible cardinal |
28 | Jin Uemura, Masako Sato |
Learning of Erasing Primitive Formal Systems from Positive Examples. |
ALT |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Yasushi Kobayashi, Akira Asano |
Modification of Spatial Distribution in Primitive and Point Configuration Texture Model. |
SCIA |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Hidekata Hontani, Koichiro Deguchi |
Primitive Curve Generation Based on Multiscale Contour Figure Approximation. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Karl-Heinz Niggl |
A restricted computation model on Scott domains and its partial primitive recursive functionals. |
Arch. Math. Log. |
1998 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (1991):03D15, 03D65, 03D99, 68Q99, 68Q15, 68Q10, 68Q55, 68Q05, 03D20 |
28 | Yoshio Kameda, Stanislav Polonsky, Masaaki Maezawa, Takashi Nanya |
Primitive-Level Pipelining Method on Delay-Insensitive Model for RSFQ Pulse-Driven Logic. |
ASYNC |
1998 |
DBLP DOI BibTeX RDF |
pulse-driven logic, Josephson junction device, RSFQ device, pipeline, asynchronous circuit, delay-insensitive circuit |
28 | Karl-Heinz Niggl |
Non-definability of the Ackermann function with type 1 partial primitive recursion. |
Arch. Math. Log. |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Rachid Guerraoui, André Schiper |
A Generic Multicast Primitive to Support Transactions on Replicated Objects in Distributed Systems. |
FTDCS |
1995 |
DBLP DOI BibTeX RDF |
total order multicast, fault-tolerance, distributed computing, replication, asynchronous system, failure detector, atomic commitment |
28 | Neal Nelson |
Primitive Recursive Functionals with Dependent Types. |
MFPS |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Afaq Ahmad 0001, N. K. Nanda, K. Garg |
Are Primitive Polynomials Always Best in Signature Analysis? |
IEEE Des. Test Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
28 | Lawrence Brown, Josef Pieprzyk, Jennifer Seberry |
LOKI - A Cryptographic Primitive for Authentication and Secrecy Applications. |
AUSCRYPT |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Grzegorz Borowik, Andrzej Paszkiewicz |
Hardware Accelerator for Generating Primitive Polynomials over GF(3). |
ICSEng |
2011 |
DBLP DOI BibTeX RDF |
trinomial, stream cipher, linear feedback shift register, primitive polynomial, irreducible polynomial |
27 | Alexandre Faure, Fabien Feschet |
Multi-primitive Analysis of Digital Curves. |
IWCIA |
2009 |
DBLP DOI BibTeX RDF |
?-thickness, multi-primitive, tangential Cover, polygonalization, Digital geometry |
27 | Kentarou Kurashige, Toshio Fukuda, Haruo Hoshino |
Reusing Primitive and Acquired Motion Knowledge for Gait Generation of a Six-legged Robot Using Genetic Programming. |
J. Intell. Robotic Syst. |
2003 |
DBLP DOI BibTeX RDF |
primitive motion knowledge, acquired motion knowledge, six-legged robot, gait generation, genetic programming |
27 | Nozha Boujemaa, Gilbert Roux, Jean Pierre Asselin de Beauville, B. Vattolo |
Soft primitive extraction on handwritten digits |
ICIP (3) |
1997 |
DBLP DOI BibTeX RDF |
soft primitive extraction, automatic bank cheques interpretation, noise quantization pixels, digits meaning, robust fuzzy clustering techniques, soft feature extraction, soft feature representation, numerical value, segmentation, handwriting recognition, curve fitting, handwritten digits recognition, uncertainty modeling, digits shape |
27 | Prithviraj Banerjee, Abhijeet Dugar |
The Design, Analysis and Simulation of a Fault-Tolerant Interconnection Network Supporting the Fetch-and-Add Primitive. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
fault-tolerant interconnection network, fetch-and-add primitive, combining multistage interconnection network, 4*4 switches, four independent paths, scheduling, fault tolerant computing, multiprocessor interconnection networks, analytical models, network simulations, omega network |
26 | Hsiu-ching Hsieh, Chih-Chieh Hsiao, Hui-Chin Yang, Chung-Ping Chung, Jean Jyh-Jiun Shann |
Methods for Precise False-Overlap Detection in Tile-Based Rendering. |
CSE (2) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Ulrike Thomas, Jan Florke, Stefan Detering, Friedrich M. Wahl |
An Integrative Approach for Multi-sensor based Robot Task Programming. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Akira Asano, Miho Miyagawa, Mitsuhiko Fujio |
Morphological Texture Analysis Using Optimization of Structuring Elements. |
Theoretical Foundations of Computer Vision |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Filip Van Aelten, Jonathan Allen, Srinivas Devadas |
Verification of relations between synchronous machines. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Emmad Saadeh, Derrick G. Kourie |
Composite refactoring using fine-grained transformations. |
SAICSIT |
2009 |
DBLP DOI BibTeX RDF |
FGT-enabling precondition, fine-grain transformations, refactoring-level precondition, composite, primitive |
25 | Fabrizio Caruso, Jacopo D'Aurizio, Alasdair McAndrew |
Efficient Finite Fields in the Maxima Computer Algebra System. |
WAIFI |
2008 |
DBLP DOI BibTeX RDF |
modular roots, Maxima, finite fields, primitive element |
25 | Florin Manea, Victor Mitrana |
Hairpin Completion Versus Hairpin Reduction. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
hairpin completion, hairpin reduction, primitive hairpin root, formal languages, DNA computing |
25 | Maybin K. Muyeba, M. Sulaiman Khan, Zarrar Malik, Christos Tjortjis |
Towards Healthy Association Rule Mining (HARM): A Fuzzy Quantitative Approach. |
IDEAL |
2006 |
DBLP DOI BibTeX RDF |
healthy patterns, primitive and hierarchical queries, nutrients, Association rules, fuzzy rules |
25 | Hong Xu 0008, Wen-Feng Qi 0001 |
On the Distinctness of Decimations of Generalized l-Sequences. |
SETA |
2006 |
DBLP DOI BibTeX RDF |
Feedback-with-carry shift registers (FCSRs), l-sequences, generalized l-sequences, integer residue ring, primitive sequences, 2-adic numbers |
25 | Christian Urban, Stefan Berghofer |
A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
Lambda-calculus, proof assistants, nominal logic, primitive recursion |
25 | Vincent Astier, Marcus Tressl |
Axiomatization of local-global principles for pp-formulas in spaces of orderings. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
Spaces of orderings, Special groups, Positive-primitive formulas, Local-global principles, Isotropy theorem, Model theory, Quadratic forms |
25 | Roy Friedman, Michel Raynal, Corentin Travers |
Two Abstractions for Implementing Atomic Objects in Dynamic Systems. |
OPODIS |
2005 |
DBLP DOI BibTeX RDF |
Atomic object, Distributed system, Shared memory, Dynamic system, Server, Quorum, Crash failures, Communication primitive |
25 | S. J. Ambler, Roy L. Crole, Alberto Momigliano |
A definitional approach to primitivexs recursion over higher order abstract syntax. |
MERLIN |
2003 |
DBLP DOI BibTeX RDF |
Isabelle HOL, topos theory, ?-calculus, higher order abstract syntax, primitive recursion, initial algebras |
25 | Ueli M. Maurer |
Information-Theoretic Cryptography. |
CRYPTO |
1999 |
DBLP DOI BibTeX RDF |
information-theoretic primitive, generalized random oracle, Information theory, unconditional security, conditional independence |
25 | E. A. Cichon, Hélène Touzet |
An Ordinal Calculus for Proving Termination in Term Rewriting. |
CAAP |
1996 |
DBLP DOI BibTeX RDF |
ordinal recursion, termination, rewrite systems, primitive recursion |
25 | Michael Evangelist, Nissim Francez, Shmuel Katz |
Multiparty Interactions for Interprocess Communication and Synchronization. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
multiparty interaction construct, weakening, fault tolerance, parallel programming, synchronization, fault tolerant computing, distributed programs, participants, nondeterminism, interprocess communication, primitive, acceptability criteria |
24 | Nikolay Bazhenov 0001, Keng Meng Ng, Luca San Mauro, Andrea Sorbi |
Primitive recursive equivalence relations and their primitive recursive complexity. |
Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Othman Echi, Adel Khalfallah, Dhaker Kroumi |
On primitive words with non-primitive product. |
RAIRO Theor. Informatics Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Jingwei Huang 0001, Yanfeng Zhang, Mingwei Sun |
PrimitiveNet: Primitive Instance Segmentation with Local Primitive Embedding under Adversarial Metric. |
ICCV |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Ingo Wald, Nate Morrical, Stefan Zellmann, Lei Ma 0008, Will Usher 0001, Tiejun Huang 0001, Valerio Pascucci |
Using Hardware Ray Transforms to Accelerate Ray/Primitive Intersections for Long, Thin Primitive Types. |
Proc. ACM Comput. Graph. Interact. Tech. |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Jamie C. Macbeth |
Primitive-Decomposed Cognitive Representations Enhancing Learning with Primitive-Decomposed Cognitive Representations. |
IWSSL |
2020 |
DBLP BibTeX RDF |
|
24 | Wei Jing, Di Deng, Zhe Xiao, Yong Liu 0026, Kenji Shimada |
Coverage Path Planning using Path Primitive Sampling and Primitive Coverage Graph for Visual Inspection. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
24 | Wei Jing, Di Deng, Zhe Xiao, Yong Liu 0026, Kenji Shimada |
Coverage Path Planning using Path Primitive Sampling and Primitive Coverage Graph for Visual Inspection. |
IROS |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Joanna B. Fawcett, Michael Giudici, Cai Heng Li, Cheryl E. Praeger, Gordon F. Royle, Gabriel Verret |
Primitive permutation groups with a suborbit of length 5 and vertex-primitive graphs of valency 5. |
J. Comb. Theory, Ser. A |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Christiane Sommer, Daniel Cremers |
Joint Representation of Primitive and Non-primitive Objects for 3D Vision. |
3DV |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Edit Pengo, Péter Gál |
Grasping Primitive Enthusiasm - Approaching Primitive Obsession in Steps. |
ICSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Amine Mrabet |
Implémentation efficace de primitive cryptographique pour le couplage sur carte FPGA. (Efficient implementation of cryptographic primitive for pairing on FPGA board). |
|
2017 |
RDF |
|
24 | Asma Shaheen Ansari, Tariq Shah |
An association between primitive and non-primitive BCH codes using monoid rings. |
EURASIP J. Wirel. Commun. Netw. |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Chunhua Cao, Shuang Yang, Di Yang |
Some kinds of primitive and non-primitive words. |
Acta Informatica |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Rudolf Ahlswede, Levan H. Khachatrian |
Classical Results on Primitive and Recent Results on Cross-Primitive Sequences. |
The Mathematics of Paul Erdős I |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 5006 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|