|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 29(6), pp. 1005-1018, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEC Summit ![In: Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC Summit 2009, Shanghai, China, June 12-14, 2009, pp. 585-592, 2009, ACM, 978-1-60558-326-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
canonical again, canonical |
60 | Huixia He, David J. Thomson |
The Canonical Bicoherence - Part I: Definition, Multitaper Estimation, and Statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 57(4), pp. 1273-1284, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
54 | Christian Glaßer, Alan L. Selman, Liyu Zhang |
The Informational Content of Canonical Disjoint NP-Pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings, pp. 307-317, 2007, Springer, 978-3-540-73544-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
54 | Marie-Laure Mugnier, Michel Chein |
Characterization and Algorithmic Recognition of Canonical Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Graphs for Knowledge Representation, ICCS '93, Quebec City, Canada, August 4-7, 1993, Proceedings, pp. 294-311, 1993, Springer, 3-540-56979-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
50 | Gábor Horváth 0002, Miklós Telek |
A Canonical Representation of Order 3 Phase Type Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings, pp. 48-62, 2007, Springer, 978-3-540-75210-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCV (2) ![In: Computer Vision - ACCV 2007, 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II, pp. 700-711, 2007, Springer, 978-3-540-76389-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(1), pp. 157-176, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 8(2), pp. 203-234, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 582-595, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 57(4), pp. 1285-1292, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 53(1), pp. 121-135, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
48 | Leonid A. Kalinichenko, Sergey A. Stupnikov, Nikolay Zemtsov |
Extensible Canonical Process Model Synthesis Applying Formal Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 9th East European Conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005, Proceedings, pp. 183-198, 2005, Springer, 3-540-28585-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Adrian Stern |
Sampling of compact signals in offset linear canonical transform domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Image Video Process. ![In: Signal Image Video Process. 1(4), pp. 359-367, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 17th International Conference on Multimedia 2009, Vancouver, British Columbia, Canada, October 19-24, 2009, pp. 125-134, 2009, ACM, 978-1-60558-608-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 49(5), pp. 592-603, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSDBM ![In: Proceedings of the 16th International Conference on Scientific and Statistical Database Management (SSDBM 2004), 21-23 June 2004, Santorini Island, Greece, pp. 11-20, 2004, IEEE Computer Society, 0-7695-2146-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 23(2-3), pp. 143-161, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 54(1), pp. 235-243, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Tae-Kyun Kim, Josef Kittler, Roberto Cipolla |
Learning Discriminative Canonical Correlations for Object Recognition with Image Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (3) ![In: Computer Vision - ECCV 2006, 9th European Conference on Computer Vision, Graz, Austria, May 7-13, 2006, Proceedings, Part III, pp. 251-262, 2006, Springer, 3-540-33836-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Innovations in Applied Artificial Intelligence, 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceedings, pp. 609-612, 2005, Springer, 3-540-26551-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Volker Weispfenning |
Canonical comprehensive Gröbner bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings, pp. 270-276, 2002, ACM, 1-58113-484-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Jianchun Zhang, Daoqiang Zhang |
Canonical random correlation analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1111-1112, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(2), pp. 171-199, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 17th International Conference on Multimedia 2009, Vancouver, British Columbia, Canada, October 19-24, 2009, pp. 1121-1122, 2009, ACM, 978-1-60558-608-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
canonical images, graph construction, image search clustering |
38 | Ansgar Scherp |
Canonical processes for creating personalized semantically rich multimedia presentations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Syst. ![In: Multim. Syst. 14(6), pp. 415-425, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Syst. ![In: Multim. Syst. 14(6), pp. 369-375, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2008 , 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part I, pp. 472-481, 2008, Springer, 978-3-540-87535-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings, pp. 77-84, 2007, ACM, 978-1-59593-743-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 42(3), pp. 285-296, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 21(2), pp. 145-160, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 29th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1999, Freiburg im Breisgau, Germany, May 20-22, 1999, Proceedings, pp. 92-98, 1999, IEEE Computer Society, 0-7695-0161-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 40-45, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (1) ![In: Advances in Visual Computing, Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006 Proceedings, Part I, pp. 628-637, 2006, Springer, 3-540-48628-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Sven Bittner, Annika Hinze |
A Detailed Investigation of Memory Requirements for Publish/Subscribe Filtering Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I, pp. 148-165, 2005, Springer, 3-540-29736-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Kedian Mu, Zhi Jin, Ruqian Lu, Yan Peng |
Handling non-canonical software requirements based on Annotated Predicate Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 11(1), pp. 85-104, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Sens. Networks ![In: ACM Trans. Sens. Networks 3(4), pp. 19, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 251-265, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Afshin Abdollahi, Massoud Pedram |
A new canonical form for fast boolean matching in logic synthesis and verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 379-384, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Jun Rao, Hamid Pirahesh, Calisto Zuzarte |
Canonical Abstraction for Outerjoin Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Paris, France, June 13-18, 2004, pp. 671-682, 2004, ACM, 1-58113-859-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Allan Aasbjerg Nielsen |
Multiset canonical correlations analysis and multispectral, truly multitemporal remote sensing data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 11(3), pp. 293-305, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Arnon Avron, Iddo Lev |
Canonical Propositional Gentzen-Type Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, pp. 529-544, 2001, Springer, 3-540-42254-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 16th International Conference on Multimedia 2008, Vancouver, British Columbia, Canada, October 26-31, 2008, pp. 199-208, 2008, ACM, 978-1-60558-303-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIVR ![In: Proceedings of the 7th ACM International Conference on Image and Video Retrieval, CIVR 2008, Niagara Falls, Canada, July 7-9, 2008, pp. 127-134, 2008, ACM, 978-1-60558-070-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(8), pp. 769-777, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings, pp. 371-390, 1991, Springer, 3-540-55015-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
32 | N. Wong |
An efficient passivity test for descriptor systems via canonical projector techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 957-962, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (1) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I, pp. 995-1004, 2008, Springer, 978-3-540-69383-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Applications of Fuzzy Sets Theory, 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings, pp. 505-511, 2007, Springer, 978-3-540-73399-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: New Trends in Applied Artificial Intelligence, 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, Proceedings, pp. 464-472, 2007, Springer, 978-3-540-73322-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers, pp. 113-138, 2006, Springer, 978-3-540-77355-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA ![In: Task Models and Diagrams for Users Interface Design, 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers, pp. 137-152, 2006, Springer, 978-3-540-70815-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings, pp. 7-14, 2003, ACM, 1-58113-641-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
efficient representations, hypergeometric terms, canonical forms, rational functions |
32 | Colin Fyfe, Pei Ling Lai |
Canonical Correlation Analysis Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 2977-2980, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Canonical Correlation Analysis |
32 | Pei Ling Lai, Shang Jen Chuang, Colin Fyfe |
Power Load Forecasting Using Neural Canonical Correlates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 2455-2458, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
nonlinear Forecasting, Canonical Correlation Analysis |
32 | Yakov Nekrich |
Decoding of Canonical Huffman Codes with Look-Up Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Compression Conference ![In: Data Compression Conference, DCC 2000, Snowbird, Utah, USA, March 28-30, 2000., pp. 566, 2000, IEEE Computer Society, 0-7695-0592-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, ISSAC 2000, St. Andrews, United Kingdom, August 6-10, 2000, pp. 38-47, 2000, ACM, 1-58113-218-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 20(10), pp. 1080-1090, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 13th Annual Computer Security Applications Conference (ACSAC 1997), 8-12 December 1997, San Diego, CA, USA, pp. 69-80, 1997, IEEE Computer Society, 0-8186-8274-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 383-392, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings, pp. 193-199, 2005, ACM, 1-59593-095-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
rootOf, affine transformation, algebraic numbers |
31 | Michel Wermelinger, José Gabriel Lopes |
Basic Conceptual Structures Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Current Practices, Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16-20, 1994, Proceedings, pp. 144-159, 1994, Springer, 3-540-58328-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Data Management. Data, Data Everywhere, 24th British National Conference on Databases, BNCOD 24, Glasgow, UK, July 3-5, 2007, Proceedings, pp. 82-100, 2007, Springer, 978-3-540-73389-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Canonical Tree, Ontology Label, Relevant Canonical Tree, Search Term Context |
30 | H. Allen Curtis |
Simplified Decomposition of Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 25(10), pp. 1033-1044, 1976. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GbRPR ![In: Graph-Based Representations in Pattern Recognition, 7th IAPR-TC-15 International Workshop, GbRPR 2009, Venice, Italy, May 26-28, 2009. Proceedings, pp. 215-222, 2009, Springer, 978-3-642-02123-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Arnon Avron, Ori Lahav 0001 |
Canonical Constructive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings, pp. 62-76, 2009, Springer, 978-3-642-02715-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Arnon Avron, Anna Zamansky |
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 31-45, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Maria Paola Bonacina, Nachum Dershowitz |
Canonical Inference for Implicational Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, pp. 380-395, 2008, Springer, 978-3-540-71069-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2008, part of the IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, pp. 758-764, 2008, IEEE, 978-1-4244-1820-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Mai Gehrke, Hilary A. Priestley |
Duality for Double Quasioperator Algebras via their Canonical Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 86(1), pp. 31-68, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 18(3), pp. 905-910, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Seungdo Jeong, Su-Sun Kim, Byung-Uk Choi |
Canonical View Synthesis for Gait Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBIT ![In: Frontiers in the Convergence of Bioscience and Information Technologies 2007, FBIT 2007, Jeju Island, Korea, October 11-13, 2007, pp. 734-739, 2007, IEEE Computer Society, 978-0-7695-2999-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Dirk Colbry, George C. Stockman |
Canonical Face Depth Map: A Robust 3D Representation for Face Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2007), 18-23 June 2007, Minneapolis, Minnesota, USA, 2007, IEEE Computer Society, 1-4244-1179-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Giovanni Agosta, Francesco Bruschi, Donatella Sciuto |
An efficient cost-based canonical form for Boolean matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007, pp. 445-448, 2007, ACM, 978-1-59593-605-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
logic sinthesys, technology mapping, boolean matching |
29 | Mohammed A. Hasan |
Adaptive Diagonalization for Canonical Correlation Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007, pp. 1906-1911, 2007, IEEE, 978-1-4244-1379-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Christian Borgelt, Mathias Fiedler |
Graph Mining: Repository vs. Canonical Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GfKl ![In: Data Analysis, Machine Learning and Applications - Proceedings of the 31st Annual Conference of the Gesellschaft für Klassifikation e.V., Albert-Ludwigs-Universität Freiburg, March 7-9, 2007, pp. 229-236, 2007, Springer, 978-3-540-78239-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Jean-Luc Bloechle, Maurizio Rigamonti, Karim Hadjar, Denis Lalanne, Rolf Ingold |
XCDF: A Canonical and Structured Document Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Document Analysis Systems ![In: Document Analysis Systems VII, 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006, Proceedings, pp. 141-152, 2006, Springer, 3-540-32140-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WBIR ![In: Biomedical Image Registration, Third International Workshop, WBIR 2006, Utrecht, The Netherlands, July 9-11, 2006, Proceedings, pp. 66-74, 2006, Springer, 3-540-35648-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Dominique Archambault, Victor Moço |
Canonical MathML to Simplify Conversion of MathML to Braille Mathematical Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 10th International Conference, ICCHP 2006, Linz, Austria, July 11-13, 2006, Proceedings, pp. 1191-1198, 2006, Springer, 3-540-36020-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Christian Borgelt |
Canonical Forms for Frequent Graph Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GfKl ![In: Advances in Data Analysis, Proceedings of the 30th Annual Conference of the Gesellschaft für Klassifikation e.V., Freie Universität Berlin, March 8-10, 2006, pp. 337-349, 2006, Springer, 978-3-540-70980-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Robert Harper 0001, Frank Pfenning |
On equivalence and canonical forms in the LF type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(1), pp. 61-101, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
type theory, Logical frameworks |
29 | Mohammed A. Hasan |
Unconstrained functional criteria for canonical correlation analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 2317-2320, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 15th Annual Symposium, CPM 2004, Istanbul,Turkey, July 5-7, 2004, Proceedings, pp. 244-253, 2004, Springer, 3-540-22341-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (2) ![In: 17th International Conference on Pattern Recognition, ICPR 2004, Cambridge, UK, August 23-26, 2004., pp. 273-276, 2004, IEEE Computer Society, 0-7695-2128-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Trip Denton, Jeff Abrahamson, Ali Shokoufandeh |
Approximation of Canonical Sets and Their Applications to 2D View Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (2) ![In: 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2004), with CD-ROM, 27 June - 2 July 2004, Washington, DC, USA, pp. 550-557, 2004, IEEE Computer Society, 0-7695-2158-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Victor Khomenko, Maciej Koutny, Walter Vogler |
Canonical prefixes of Petri net unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 40(2), pp. 95-118, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Jovanka Ciric, Carl Sechen |
Efficient canonical form for Boolean matching of complex functions in large libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(5), pp. 535-544, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | José del Sagrado, Antonio Salmerón |
Representing Canonical Models as Probability Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAEPIA ![In: Current Topics in Artificial Intelligence, 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers, pp. 478-487, 2003, Springer, 3-540-22218-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Salvador Lucas |
Termination of (Canonical) Context-Sensitive Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 296-310, 2002, Springer, 3-540-43916-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
(infinitary) normalization, termination, term rewriting |
29 | Andrea Sattler-Klein |
Infinite, Canonical String Rewriting Systems Generated by Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, pp. 433-444, 1992, Springer, 3-540-55727-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991, Proceedings, pp. 281-291, 1991, Springer, 3-540-54522-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
29 | Christoph Beierle, Angi Voß |
Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP), pp. 320-334, 1987, Springer, 3-540-17611-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
29 | H. Allen Curtis |
Multifunctional Circuits in Functional Canonical Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 6(4), pp. 538-547, 1959. The full citation details ...](Pics/full.jpeg) |
1959 |
DBLP DOI BibTeX RDF |
|
27 | Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge |
Strong Completeness and Limited Canonicity for PDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(1), pp. 69-87, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2008, Pittsburgh, PA, USA, June 16-20, 2008, pp. 295-304, 2008, ACM, 978-1-59593-998-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 869-875, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
truth-constants, canonical standard completeness, ?ukasiewicz logic |
27 | Zhiwen Mo, Xiaolei Hong |
Minimization of Mizumoto Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 739-743, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCIA ![In: Image Analysis, 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007, Proceedings, pp. 699-708, 2007, Springer, 978-3-540-73039-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(5), pp. 520-533, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHIS ![In: Proceedings of the first international ACM workshop on Interoperability of Heterogeneous Information Systems (IHIS'05), CIKM Conference, Bremen, Germany, November 4, 2005, pp. 31-38, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|