|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1797 occurrences of 1356 keywords
|
|
|
Results
Found 5433 publication records. Showing 5433 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
84 | Tae-Kyun Kim, Josef Kittler, Roberto Cipolla |
Discriminative Learning and Recognition of Image Set Classes Using Canonical Correlations. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2007 |
DBLP DOI BibTeX RDF |
image sets, principal angles, orthogonal subspace method, face recognition, Object recognition, linear discriminant analysis, canonical correlation analysis, canonical correlation |
65 | John R. Woodward, Ruibin Bai |
Canonical representation genetic programming. |
GEC Summit |
2009 |
DBLP DOI BibTeX RDF |
canonical again, canonical |
60 | Huixia He, David J. Thomson |
The Canonical Bicoherence - Part I: Definition, Multitaper Estimation, and Statistics. |
IEEE Trans. Signal Process. |
2009 |
DBLP DOI BibTeX RDF |
|
54 | Christian Glaßer, Alan L. Selman, Liyu Zhang |
The Informational Content of Canonical Disjoint NP-Pairs. |
COCOON |
2007 |
DBLP DOI BibTeX RDF |
|
54 | Marie-Laure Mugnier, Michel Chein |
Characterization and Algorithmic Recognition of Canonical Conceptual Graphs. |
ICCS |
1993 |
DBLP DOI BibTeX RDF |
|
50 | Gábor Horváth 0002, Miklós Telek |
A Canonical Representation of Order 3 Phase Type Distributions. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
Moment Bounds, Phase Type Distribution, Canonical Form |
50 | Wen-Sheng Vincent Chu, Ju-Chin Chen, Jenn-Jier James Lien |
Kernel Discriminant Analysis Based on Canonical Differences for Face Recognition in Image Sets. |
ACCV (2) |
2007 |
DBLP DOI BibTeX RDF |
canonical angles, kernel Fisher discriminant (KFD), kernel discriminant transformation (KDT), Face recognition, kernel method, kernel PCA |
50 | Anna Zamansky, Arnon Avron |
Cut-Elimination and Quantification in Canonical Systems. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
canonical systems, proof theory, cut elimination, non-deterministic matrices |
50 | Yun Chi, Yirong Yang, Richard R. Muntz |
Canonical forms for labelled trees and their applications in frequent subtree mining. |
Knowl. Inf. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Labelled free tree, Labelled rooted unordered tree, Tree isomorphism, Canonical form, Frequent subtree |
50 | Victor Khomenko, Maciej Koutny, Walter Vogler |
Canonical Prefixes of Petri Net Unfoldings. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
canonical prefix, Model checking, Petri nets, unfolding |
48 | Huixia He, David J. Thomson |
The Canonical Bicoherence - Part II: QPC Test and Its Application in Geomagnetic Data. |
IEEE Trans. Signal Process. |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Ali Pezeshki, Louis L. Scharf, Mahmood R. Azimi-Sadjadi, Yingbo Hua |
Two-channel constrained least squares problems: solutions using power methods and connections with canonical coordinates. |
IEEE Trans. Signal Process. |
2005 |
DBLP DOI BibTeX RDF |
|
48 | Leonid A. Kalinichenko, Sergey A. Stupnikov, Nikolay Zemtsov |
Extensible Canonical Process Model Synthesis Applying Formal Interpretation. |
ADBIS |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Adrian Stern |
Sampling of compact signals in offset linear canonical transform domains. |
Signal Image Video Process. |
2007 |
DBLP DOI BibTeX RDF |
Regular sampling, Offset linear canonical transform, Special affine Fourier transform, Linear canonical transform, Time-frequency representation, Uncertainty principle |
44 | Liangliang Cao, Jie Yu 0001, Jiebo Luo, Thomas S. Huang |
Enhancing semantic and geographic annotation of web images via logistic canonical correlation regression. |
ACM Multimedia |
2009 |
DBLP DOI BibTeX RDF |
geographic annotation, web image annotation, canonical correlations |
44 | Bing Deng, Ran Tao 0003, Yue Wang 0001 |
Convolution theorems for the linear canonical transform and their applications. |
Sci. China Ser. F Inf. Sci. |
2006 |
DBLP DOI BibTeX RDF |
linear canonical transform, convolution theorems, multiplicative filter, sampling |
44 | Yun Chi, Yirong Yang, Richard R. Muntz |
HybridTreeMiner: An Efficient Algorithm for Mining Frequent Rooted Trees and Free Trees Using Canonical Form. |
SSDBM |
2004 |
DBLP DOI BibTeX RDF |
tree iso-morphism, enumeration tree, rooted unordered tree, free tree, canonical form, frequent subtree |
42 | Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi |
Profinite Completions and Canonical Extensions of Heyting Algebras. |
Order |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 06D20, Secondary 06D50, 06B30, 03B55 |
42 | Peter J. Schreier, Louis L. Scharf |
Canonical coordinates for transform coding of noisy sources. |
IEEE Trans. Signal Process. |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Tae-Kyun Kim, Josef Kittler, Roberto Cipolla |
Learning Discriminative Canonical Correlations for Object Recognition with Image Sets. |
ECCV (3) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Chien-Chang Hsu, Yun-Chen Lee |
Canonical Decision Model Construction by Extracting the Mapping Function from Trained Neural Networks. |
IEA/AIE |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Volker Weispfenning |
Canonical comprehensive Gröbner bases. |
ISSAC |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Jianchun Zhang, Daoqiang Zhang |
Canonical random correlation analysis. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
dimensionality reduction, discriminant, multi-view, canonical correlation analysis |
38 | Agostinho Almeida |
Canonical Extensions and Relational Representations of Lattices with Negation. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
canonical extension, Lattice, duality, negation |
38 | Liang-Chi Hsieh, Kuan-Ting Chen, Chien-Hsing Chiang, Yi-Hsuan Yang, Guan-Long Wu, Chun-Sung Ferng, Hsiu-Wen Hsueh, Angela Charng-Rurng Tsai, Winston H. Hsu |
Canonical image selection and efficient image graph construction for large-scale flickr photos. |
ACM Multimedia |
2009 |
DBLP DOI BibTeX RDF |
canonical images, graph construction, image search clustering |
38 | Ansgar Scherp |
Canonical processes for creating personalized semantically rich multimedia presentations. |
Multim. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Multimedia personalization, Semantics derivation, Canonical processes, Multimedia authoring, Component framework, Multimedia content, Component technology, Multimedia semantics, Media production |
38 | Stephan Kopf, Wolfgang Effelsberg |
Mobile cinema: canonical processes for video adaptation. |
Multim. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Canonical processes, Video process modeling, Video adaptation |
38 | Hong Zhang 0026, Masumi Ishikawa |
Evolutionary Canonical Particle Swarm Optimizer - A Proposal of Meta-optimization in Model Selection. |
ICANN (1) |
2008 |
DBLP DOI BibTeX RDF |
canonical particle swarm optimization, evolutionary particle swarm optimization, temporally cumulative fitness, model selection, real-coded genetic algorithm |
38 | Jacques Carette |
A canonical form for piecewise defined functions. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
piecewise, normal form, canonical form |
38 | José Luis Imaña, Juan Manuel Sánchez |
Efficient Reconfigurable Implementation of Canonical and Normal Basis Multipliers Over Galois Fields GF(2m) Generated by AOPs. |
J. VLSI Signal Process. |
2006 |
DBLP DOI BibTeX RDF |
Galois field GF(2m), canonical basis, reconfigurable hardware, normal basis, bit-parallel multiplier |
38 | Maria Axenovich, Robert E. Jamison |
Canonical Pattern Ramsey Numbers. |
Graphs Comb. |
2005 |
DBLP DOI BibTeX RDF |
Ramsey, Non-Symmetric, Coloring, Canonical |
38 | Elena Dubrova |
Evaluation of m-Valued Fixed Polarity Generalizations of Reed-Muller Canonical Form. |
ISMVL |
1999 |
DBLP DOI BibTeX RDF |
Reed-Muller canonical form, fixed polarity, multiple-valued function |
38 | Kunhuang Huarng, Dick B. Simmons |
Knowledge Reuse through the Application of the Object Knowledge Canonical Form. |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
Expert system building tools, Knowledge Interchange Format, knowledge translation, Object Knowledge Canonical Form, knowledge representation, knowledge acquisition |
37 | Hui Kong 0001, Eam Khwang Teoh, Pengfei Xu 0010 |
Margin Maximizing Discriminant Analysis for Multi-shot Based Object Recognition. |
ISVC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Sven Bittner, Annika Hinze |
A Detailed Investigation of Memory Requirements for Publish/Subscribe Filtering Algorithms. |
OTM Conferences (1) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Kedian Mu, Zhi Jin, Ruqian Lu, Yan Peng |
Handling non-canonical software requirements based on Annotated Predicate Calculus. |
Knowl. Inf. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Redundancy, Inconsistency, Software requirements, Paraconsistent logic, Vagueness, Incompleteness |
35 | Patrick Tague, Radha Poovendran |
A canonical seed assignment model for key predistribution in wireless sensor networks. |
ACM Trans. Sens. Networks |
2007 |
DBLP DOI BibTeX RDF |
sensor networks, network models, Key establishment, key predistribution |
35 | Anna Zamansky, Arnon Avron |
Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Afshin Abdollahi, Massoud Pedram |
A new canonical form for fast boolean matching in logic synthesis and verification. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Jun Rao, Hamid Pirahesh, Calisto Zuzarte |
Canonical Abstraction for Outerjoin Optimization. |
SIGMOD Conference |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Allan Aasbjerg Nielsen |
Multiset canonical correlations analysis and multispectral, truly multitemporal remote sensing data. |
IEEE Trans. Image Process. |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Arnon Avron, Iddo Lev |
Canonical Propositional Gentzen-Type Systems. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Yi-Hsuan Yang, Po Tun Wu, Ching-Wei Lee, Kuan Hung Lin, Winston H. Hsu, Homer H. Chen |
ContextSeer: context search and recommendation at query time for shared consumer photos. |
ACM Multimedia |
2008 |
DBLP DOI BibTeX RDF |
canonical image, shared consumer photo, search, metadata, context, tag, recommending, rerank, visual word |
34 | Yun Fu 0001, Liangliang Cao, Guodong Guo, Thomas S. Huang |
Multiple feature fusion by subspace learning. |
CIVR |
2008 |
DBLP DOI BibTeX RDF |
image set, face recognition, tensor, feature fusion, subspace learning, canonical correlation |
34 | David Sinclair, Andrew Blake 0001 |
Isoperimetric Normalization of Planar Curves. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
closed planar curves, isoperimetric normalization, projective group PGL(2), piecewise smooth closed curve, invariant shape descriptor, image processing, computational geometry, object recognition, edge detection, canonical form |
33 | Anne H. H. Ngu, Limsoon Wong, Surjatini Widjojo |
On Canonical and Non-canonical Classifications. |
DOOD |
1991 |
DBLP DOI BibTeX RDF |
|
32 | N. Wong |
An efficient passivity test for descriptor systems via canonical projector techniques. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
canonical projector, descriptor system, spectral projector, passivity test |
32 | Chuanliang Chen, Yun-Chao Gong, Yingjie Tian 0001 |
KCK-Means: A Clustering Method Based on Kernel Canonical Correlation Analysis. |
ICCS (1) |
2008 |
DBLP DOI BibTeX RDF |
Similarity Measure, Clustering Algorithm, K-means clustering, Kernel Canonical Correlation Analysis |
32 | Bernd Fischer 0003, Volker Roth 0001, Joachim M. Buhmann |
Time-Series Alignment by Non-negative Multiple Generalized Canonical Correlation Analysis. |
WILF |
2007 |
DBLP DOI BibTeX RDF |
Time Series Alignment, Proteomics, Canonical Correlation Analysis |
32 | Yau-Zen Chang, Zhi-Ren Tsai |
Supervised Adaptive Control of Unknown Nonlinear Systems Using Fuzzily Blended Time-Varying Canonical Model. |
IEA/AIE |
2007 |
DBLP DOI BibTeX RDF |
Supervised Control, Fuzzily Blended Time-Varying Canonical Model, On-line Identification |
32 | Antonio Montes, Tomás Recio |
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
automatic discovering, comprehensive Gröbner system, canonical Gröbner system, automatic theorem proving |
32 | Duarte Costa, Leonel Nóbrega, Nuno Jardim Nunes |
An MDA Approach for Generating Web Interfaces with UML ConcurTaskTrees and Canonical Abstract Prototypes. |
TAMODIA |
2006 |
DBLP DOI BibTeX RDF |
ConcurTaskTrees, Canonical Abstract Prototypes, Model Driven Architecture, Model-Based User Interface Design |
32 | Sergei A. Abramov, Ha Q. Le, Marko Petkovsek |
Rational canonical forms and efficient representations of hypergeometric terms. |
ISSAC |
2003 |
DBLP DOI BibTeX RDF |
efficient representations, hypergeometric terms, canonical forms, rational functions |
32 | Colin Fyfe, Pei Ling Lai |
Canonical Correlation Analysis Neural Networks. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
Canonical Correlation Analysis |
32 | Pei Ling Lai, Shang Jen Chuang, Colin Fyfe |
Power Load Forecasting Using Neural Canonical Correlates. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
nonlinear Forecasting, Canonical Correlation Analysis |
32 | Yakov Nekrich |
Decoding of Canonical Huffman Codes with Look-Up Tables. |
Data Compression Conference |
2000 |
DBLP DOI BibTeX RDF |
Canonical codes, minimum redundancy codes, data compression, Huffman codes, prefix codes |
32 | François Boulier, François Lemaire |
Computing canonical representatives of regular differential ideals. |
ISSAC |
2000 |
DBLP DOI BibTeX RDF |
Rosenfeld-Gröbner, canonical representatives, characteristic presentations, lextriangular, regular differential ideal, differential algebra, characteristic sets |
32 | William A. Wolovich, Mustafa Unel |
The Determination of Implicit Polynomial Canonical Curves. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1998 |
DBLP DOI BibTeX RDF |
canonical curves, object recognition, pose estimation, affine transformations, Implicit polynomials |
32 | Simon N. Foley |
Supporting Secure Canonical Upgrade Policies in Multilevel Secure Object Stores. |
ACSAC |
1997 |
DBLP DOI BibTeX RDF |
secure canonical upgrade policies, multilevel secure object stores, multilevel relabel policies, high-level subjects, low-level security labels, message filter model, object-oriented database, security of data |
31 | Paul Valiant |
Testing symmetric properties of distributions. |
STOC |
2008 |
DBLP DOI BibTeX RDF |
vandermonde matrices, continuity, property testing, distribution testing, multivariate statistics |
31 | David J. Jeffrey, Pratibha, K. B. Roach |
Affine transformations of algebraic numbers. |
ISSAC |
2005 |
DBLP DOI BibTeX RDF |
rootOf, affine transformation, algebraic numbers |
31 | Michel Wermelinger, José Gabriel Lopes |
Basic Conceptual Structures Theory. |
ICCS |
1994 |
DBLP DOI BibTeX RDF |
Key phrases formalization of CS theory, higher-order concept and relation types, type and marker hierarchies, metalevel and instance level |
30 | Kamal Taha, Ramez Elmasri |
OOXSearch: A Search Engine for Answering Loosely Structured XML Queries Using OO Programming. |
BNCOD |
2007 |
DBLP DOI BibTeX RDF |
Canonical Tree, Ontology Label, Relevant Canonical Tree, Search Term Context |
30 | H. Allen Curtis |
Simplified Decomposition of Boolean Functions. |
IEEE Trans. Computers |
1976 |
DBLP DOI BibTeX RDF |
Complex functional canonical forms, decomposition of Boolean functions, decomposition charts and numerical analogs, decomposition classification tables, functional canonical forms, residue functions, residue sets |
29 | Walter C. Mankowski, Peter Bogunovich, Ali Shokoufandeh, Dario D. Salvucci |
On Computing Canonical Subsets of Graph-Based Behavioral Representations. |
GbRPR |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Arnon Avron, Ori Lahav 0001 |
Canonical Constructive Systems. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Arnon Avron, Anna Zamansky |
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Maria Paola Bonacina, Nachum Dershowitz |
Canonical Inference for Implicational Systems. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Min Han 0001, Ru Wei, Decai Li |
Multivariate chaotic time series analysis and prediction using improved nonlinear canonical correlation analysis. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Mai Gehrke, Hilary A. Priestley |
Duality for Double Quasioperator Algebras via their Canonical Extensions. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) primary 06D50, secondary 06A23, 18A99, 06D35 |
29 | Chong Wang 0002 |
Variational Bayesian Approach to Canonical Correlation Analysis. |
IEEE Trans. Neural Networks |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Seungdo Jeong, Su-Sun Kim, Byung-Uk Choi |
Canonical View Synthesis for Gait Recognition. |
FBIT |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Dirk Colbry, George C. Stockman |
Canonical Face Depth Map: A Robust 3D Representation for Face Verification. |
CVPR |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Giovanni Agosta, Francesco Bruschi, Donatella Sciuto |
An efficient cost-based canonical form for Boolean matching. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
logic sinthesys, technology mapping, boolean matching |
29 | Mohammed A. Hasan |
Adaptive Diagonalization for Canonical Correlation Analysis. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Christian Borgelt, Mathias Fiedler |
Graph Mining: Repository vs. Canonical Form. |
GfKl |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Jean-Luc Bloechle, Maurizio Rigamonti, Karim Hadjar, Denis Lalanne, Rolf Ingold |
XCDF: A Canonical and Structured Document Format. |
Document Analysis Systems |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Anil Rao, Kolawole O. Babalola, Daniel Rueckert |
Canonical Correlation Analysis of Sub-cortical Brain Structures Using Non-rigid Registration. |
WBIR |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Dominique Archambault, Victor Moço |
Canonical MathML to Simplify Conversion of MathML to Braille Mathematical Notations. |
ICCHP |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Christian Borgelt |
Canonical Forms for Frequent Graph Mining. |
GfKl |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Robert Harper 0001, Frank Pfenning |
On equivalence and canonical forms in the LF type theory. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
type theory, Logical frameworks |
29 | Mohammed A. Hasan |
Unconstrained functional criteria for canonical correlation analysis. |
ISCAS (3) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Piotr Berman, Bhaskar DasGupta, Dhruv Mubayi, Robert H. Sloan, György Turán, Yi Zhang 0002 |
The Protein Sequence Design Problem in Canonical Model on 2D and 3D Lattices. |
CPM |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Trip Denton, M. Fatih Demirci, Jeff Abrahamson, Ali Shokoufandeh, Sven J. Dickinson |
Selecting Canonical Views for View-Based 3-D Object Recognition. |
ICPR (2) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Trip Denton, Jeff Abrahamson, Ali Shokoufandeh |
Approximation of Canonical Sets and Their Applications to 2D View Simplification. |
CVPR (2) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Victor Khomenko, Maciej Koutny, Walter Vogler |
Canonical prefixes of Petri net unfoldings. |
Acta Informatica |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Jovanka Ciric, Carl Sechen |
Efficient canonical form for Boolean matching of complex functions in large libraries. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
29 | José del Sagrado, Antonio Salmerón |
Representing Canonical Models as Probability Trees. |
CAEPIA |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Salvador Lucas |
Termination of (Canonical) Context-Sensitive Rewriting. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
(infinitary) normalization, termination, term rewriting |
29 | Andrea Sattler-Klein |
Infinite, Canonical String Rewriting Systems Generated by Completion. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
29 | T. Mostowski, E. Rannou |
Complexity of the Computation of the Canonical Whitney Stratification of an Algebraic Set in Cn. |
AAECC |
1991 |
DBLP DOI BibTeX RDF |
|
29 | Christoph Beierle, Angi Voß |
Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications. |
TAPSOFT, Vol.2 |
1987 |
DBLP DOI BibTeX RDF |
|
29 | H. Allen Curtis |
Multifunctional Circuits in Functional Canonical Form. |
J. ACM |
1959 |
DBLP DOI BibTeX RDF |
|
27 | Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge |
Strong Completeness and Limited Canonicity for PDL. |
J. Log. Lang. Inf. |
2008 |
DBLP DOI BibTeX RDF |
Canonical model, Model disharmony, Propositional dynamic logic, Strong completeness |
27 | Denilson Alves Pereira, Berthier A. Ribeiro-Neto, Nivio Ziviani, Alberto H. F. Laender |
Using web information for creating publication venue authority files. |
JCDL |
2008 |
DBLP DOI BibTeX RDF |
authority file, canonical name, publication venue, bibliographic citation |
27 | Roberto Cignoli, Francesc Esteva, Lluís Godo |
On Lukasiewicz Logic with Truth Constants. |
IFSA (2) |
2007 |
DBLP DOI BibTeX RDF |
truth-constants, canonical standard completeness, ?ukasiewicz logic |
27 | Zhiwen Mo, Xiaolei Hong |
Minimization of Mizumoto Automata. |
ICFIE |
2007 |
DBLP DOI BibTeX RDF |
Mizumoto automata, canonical fuzzy finite automata, minimization, equivalence |
27 | Yo Horikawa, Yujiro Ohnishi |
Comparison of Combining Methods of Correlation Kernels in kPCA and kCCA for Texture Classification with Kansei Information. |
SCIA |
2007 |
DBLP DOI BibTeX RDF |
correlation kernel, Kansei information, principal component analysis, kernel method, texture classification, combining classifiers, canonical correlation analysis |
27 | José Luis Imaña, Juan Manuel Sánchez, Francisco Tirado |
Bit-Parallel Finite Field Multipliers for Irreducible Trinomials. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
Finite (or Galois) fields, canonical basis, triangular basis, complexity, permutation, multiplication, cycles, matrix decomposition, transpositions, irreducible trinomials |
27 | Salah Hamri, Mahmoud Boufaïda, Nacer Boudjlida |
An architecture for the interoperability of workflow models. |
IHIS |
2005 |
DBLP DOI BibTeX RDF |
canonical model, common meta-model, semantic, interoperability, process, event, workflow model |
Displaying result #1 - #100 of 5433 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|