Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Kosaku Kimura, Yoshihide Nomura, Hidetoshi Kurihara, Koji Yamamoto 0002, Rieko Yamamoto |
Multi-query Unification for Generating Efficient Big Data Processing Components from a DFD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE CLOUD ![In: 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28 - July 3, 2013, pp. 260-268, 2013, IEEE Computer Society, 978-0-7695-5028-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Marcin Gorawski, Aleksander Chrószcz, Anna Gorawska |
Customer Unification in E-Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2013 - 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings, pp. 142-152, 2013, Springer, 978-3-642-41277-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | David A. Plaisted, Swaha Miller |
The Relative Power of Semantics and Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Logics ![In: Programming Logics - Essays in Memory of Harald Ganzinger, pp. 317-344, 2013, Springer, 978-3-642-37650-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Nate Kushman, Regina Barzilay |
Using Semantic Unification to Generate Regular Expressions from Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLT-NAACL ![In: Human Language Technologies: Conference of the North American Chapter of the Association of Computational Linguistics, Proceedings, June 9-14, 2013, Westin Peachtree Plaza Hotel, Atlanta, Georgia, USA, pp. 826-836, 2013, The Association for Computational Linguistics, 978-1-937284-47-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
12 | Takahito Aoto 0001, Munehiro Iwami |
Termination of Rule-Based Calculi for Uniform Semi-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings, pp. 56-67, 2013, Springer, 978-3-642-37063-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Marcin Gorawski, Aleksander Chrószcz, Anna Gorawska |
User Identity Unification in e-Commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSS ![In: Advances in Systems Science - Proceedings of the International Conference on Systems Science 2013, ICSS 2013, Wroclaw, Poland, September 10-12, 2013, pp. 163-172, 2013, Springer, 978-3-319-01856-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Petr Homola |
E-Unification of Feature Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KICSS ![In: Knowledge, Information and Creativity Support Systems: Recent Trends, Advances and Solutions - Selected Papers from KICSS'2013 - 8th International Conference on Knowledge, Information, and Creativity Support Systems, November 7-9, 2013, Kraków, Poland, pp. 455-463, 2013, Springer, 978-3-319-19089-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Mathieu Raynal, Emmanuel Dubois 0001, Bénédicte Schmitt |
Towards Unification for Pointing Task Evaluation in 3D Desktop Virtual Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SouthCHI ![In: Human Factors in Computing and Informatics - First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings, pp. 562-580, 2013, Springer, 978-3-642-39061-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Jorge Picado, Javier Gutiérrez García |
Variants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACL ![In: TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013, pp. 171-175, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Antonio Di Nola, Revaz Grigolia, Giacomo Lenzi |
Projectivity and unification in the varieties of locally finite monadic MV-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACL ![In: TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013, pp. 88-91, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Shaahin Madani, Ibrahim Khalil |
Garbled Routing (GR): Towards Unification of Anonymous Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom/ISPA/IUCC ![In: 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2013 / 11th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA-13 / 12th IEEE International Conference on Ubiquitous Computing and Communications, IUCC-2013, Melbourne, Australia, July 16-18, 2013, pp. 50-57, 2013, IEEE Computer Society, 978-0-7695-5022-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Imed Eddine Saidi, Taoufiq Dkaki, Nacereddine Zarour, Pierre-Jean Charrel |
Towards Unification of Requirements Engineering Approaches using Semantics-based Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDIR/KMIS ![In: KDIR/KMIS 2013 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval and the International Conference on Knowledge Management and Information Sharing, Vilamoura, Algarve, Portugal, 19 - 22 September, 2013, pp. 443-450, 2013, SciTePress, 978-989-8565-75-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret |
A Variant of Higher-Order Anti-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 24th International Conference on Rewriting Techniques and Applications, RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands, pp. 113-127, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-53-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Konstantin Korovin, Barbara Morawska 0001 (eds.) |
27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF@RTA/TLCA ![EasyChair The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
12 | Christophe Calvès |
Unifying Nominal Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 24th International Conference on Rewriting Techniques and Applications, RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands, pp. 143-157, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-53-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | One-Soon Her, Yun-Ru Chen |
Unification of Numeral Classifiers and Plural Markers: Empirical Facts and Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACLIC ![In: Proceedings of the 27th Pacific Asia Conference on Language, Information and Computation, PACLIC 27, Taipei, Taiwan, November 21-24, 2013, 2013, National Chengchi University, Taiwan. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
12 | Franz Baader, Oliver Fernandez Gil, Barbara Morawska 0001 |
Hybrid EL-Unification is NP-complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pp. 29-40, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
12 | Franz Baader, Oliver Fernandez Gil, Barbara Morawska 0001 |
Hybrid Unification in the Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings, pp. 295-310, 2013, Springer, 978-3-642-40884-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Aaron D. Ames, Matthew J. Powell |
Towards the Unification of Locomotion and Manipulation through Control Lyapunov Functions and Quadratic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPSW@CISS ![In: Control of Cyber-Physical Systems, Workshop Held at The Johns Hopkins University, Baltimore, MD, USA, March 2013, pp. 219-240, 2013, Springer, 978-3-319-01158-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Eric Norige, Alex X. Liu, Eric Torng |
A Ternary Unification Framework for optimizing TCAM-based packet classification systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANCS ![In: Symposium on Architecture for Networking and Communications Systems, ANCS '13, San Jose, CA, USA, October 21-22, 2013, pp. 95-104, 2013, IEEE Computer Society, 978-1-4799-1640-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly A. Gero, Paliath Narendran |
Unication Problems Modulo a Theory of Until. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF@RTA/TLCA ![In: 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013, pp. 22-29, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Tatyana A. Novikova, Vladimir A. Zakharov |
Is it possible to unify sequential programs? ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF@RTA/TLCA ![In: 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013, pp. 35-45, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | María Alpuente, Santiago Escobar 0001, Javier Espert |
Detecting Modular ACU Structural Symmetries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF@RTA/TLCA ![In: 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013, pp. 3-7, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
Hierarchical Combination of Unication Algorithms (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF@RTA/TLCA ![In: 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013, pp. 30-34, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Germano Resconi, Chris J. Hinde |
Introduction to Active Sets and Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Collect. Intell. ![In: Transactions on Computational Collective Intelligence VIII, pp. 1-36, 2012, Springer, 978-3-642-34644-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Juri Belikov, Ülle Kotta, Maris Tõnso |
State-space realization of nonlinear control systems: unification and extension via pseudo-linear algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 48(6), pp. 1100-1113, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
12 | Jordi Levy, Mateu Villaret |
Nominal Unification from a Higher-Order Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 13(2), pp. 10:1-10:31, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Clemente Rubio-Manzano |
Design and implementation of a fuzzy logic programming language using weak unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Commun. ![In: AI Commun. 25(4), pp. 365-367, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Horst Bunke, Kaspar Riesen |
Towards the unification of structural and statistical pattern recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 33(7), pp. 811-825, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Onur Can Sert, Kayhan Dursun, Tansel Özyer, Jamal Jida, Reda Alhajj |
The Unification and Assessment of Multi-Objective Clustering Results of Categorical Datasets with H-Confidence Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 18(4), pp. 507-531, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Zude Zhu, Peter Hagoort, John X. Zhang, Gangyi Feng, Hsuan-Chih Chen, Marcel C. M. Bastiaansen, Suiping Wang |
The anterior left inferior frontal gyrus contributes to semantic unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 60(4), pp. 2230-2237, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Paul Langacker |
Grand unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scholarpedia ![In: Scholarpedia 7(10), pp. 11419, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Philip Ehrlich |
The absolute arithmetic continuum and the unification of all numbers great and small. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 18(1), pp. 1-45, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Farrukh Mukhamedov, Mansoor Saburov |
On Unification of the Strong Convergence Theorems for a Finite Family of Total Asymptotically Nonexpansive Mappings in Banach Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Math. ![In: J. Appl. Math. 2012, pp. 281383:1-281383:21, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Qi Kang, Jing An, Lei Wang 0006, Qidi Wu |
Unification and Diversity of Computation Models for Generalized Swarm Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Tools ![In: Int. J. Artif. Intell. Tools 21(3), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Tanvir Ahmed 0001, Mohammad Saiedur Rahaman, Mohammad Saidur Rahman 0001, Manzur H. Khan |
A Coherent Distributed Grid Service for Assimilation and Unification of Heterogeneous Data Source ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1209.5426, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
12 | Tracy Holloway King |
Unification Grammars Nissim Francez* and Shuly Wintner‡ (*Technion-Israel Institute of Technology and ‡University of Haifa) Cambridge University Press, 2012, xii+312 pp; hardbound, ISBN 978-1-107-01417-6, $95.00. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Linguistics ![In: Comput. Linguistics 38(2), pp. 441-442, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Siva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch |
Unification Modulo Homomorphic Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 48(2), pp. 135-158, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Wojciech Dzik, Piotr Wojtylak |
Projective unification in modal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 20(1), pp. 121-153, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Katarzyna Slomczynska |
Unification and projectivity in Fregean varieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 20(1), pp. 73-93, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Mohammad Ardeshir, Vahid Vaezian |
A unification of the basic logics of Sambin and Visser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 20(6), pp. 1202-1213, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Murdoch James Gabbay |
Meta-variables as infinite lists in nominal terms unification and rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 20(6), pp. 967-1000, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Dmitry Chernyavskiy, Natalia G. Miloslavskaya |
A concept of unification of network security policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIN ![In: 5th International Conference of Security of Information and Networks, SIN '12, Jaipur, India, October 22 - 26, 2012, pp. 27-32, 2012, ACM, 978-1-4503-1668-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Simona Colucci, Francesco M. Donini |
Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 32-46, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
12 | Patricia Conde Céspedes, François Marcotorchino |
Modularisation et Recherche de Communautés dans les réseaux complexes par Unification Relationnelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAFD ![In: Apprentissage Artificiel et Fouille de Données, AAFD 2012, Université Paris 13, Institut Galilée, Villetaneuse, France, 28-29 juin 2012, pp. 71-98, 2012, Hermann-Éditions, 9782705688387. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
12 | Siva Anantharaman, Christopher Bouchard, Paliath Narendran, Michaël Rusinowitch |
Unification Modulo Chaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings, pp. 70-82, 2012, Springer, 978-3-642-28331-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | François Bry, Sebastian Schaffert |
Simulation Unification: Beyond Querying Semistructured Data (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP (Technical Communications) ![In: Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary, pp. 1-13, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-43-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Takuma Otsuka, Katsuhiko Ishiguro, Hiroshi Sawada, Hiroshi G. Okuno |
Bayesian Unification of Sound Source Localization and Separation with Permutation Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada., pp. 2038-2045, 2012, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Siva Anantharaman, Serdar Erbatur, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch |
Unification Modulo Synchronous Distributivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings, pp. 14-29, 2012, Springer, 978-3-642-31364-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Andrew M. Marshall, Paliath Narendran |
New Algorithms for Unification Modulo One-Sided Distributivity and Its Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings, pp. 408-422, 2012, Springer, 978-3-642-31364-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Alexander Leitsch, Tomer Libal |
A Resolution Calculus for Second-order Logic with Eager Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAR@IJCAR ![In: Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012, pp. 95, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Franz Baader, Julian Mendez 0001, Barbara Morawska 0001 |
UEL: Unification Solver for the Description Logic ℇℒ - System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings, pp. 45-51, 2012, Springer, 978-3-642-31364-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Franz Baader, Stefan Borgwardt, Barbara Morawska 0001 |
SAT Encoding of Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings, pp. 30-44, 2012, Springer, 978-3-642-31364-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Po-Cheng Pan, Hung-Ming Chen, Yi-Kan Cheng, Jill Liu, Wei-Yi Hu |
Configurable analog routing methodology via technology and design constraint unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2012 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2012, San Jose, CA, USA, November 5-8, 2012, pp. 620-626, 2012, ACM, 978-1-4577-1398-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Rouzbeh Farahmand, Gerald Penn |
Flexible Structural Analysis of Near-Meet-Semilattices for Typed Unification-Based Grammar Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: COLING 2012, 24th International Conference on Computational Linguistics, Proceedings of the Conference: Technical Papers, 8-15 December 2012, Mumbai, India, pp. 833-848, 2012, Indian Institute of Technology Bombay. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
12 | Shin-ya Nishizaki |
Incorporating First-Order Unification into Functional Language via First-Class Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIT ![In: Signal Processing and Information Technology - Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers, pp. 19-25, 2012, Springer, 978-3-319-11628-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Carles Creus, Adrià Gascón, Guillem Godoy |
One-context Unification with STG-Compressed Terms is in NP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 149-164, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Franz Baader, Stefan Borgwardt, Barbara Morawska 0001 |
Extending Unification in EL Towards General TBoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, 2012, AAAI Press, 978-1-57735-560-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
12 | Sergey A. Stupnikov |
Унификация модели данных, основанной на многомерных массивах, при интеграции неоднородных информационных ресурсов (Unification of an Array Data Model for the Integration of Heterogeneous Information Resources). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCDL ![In: Proceedings of the 14th All-Russian Scientific Conference `Digital libraries: Advanced Methods and Technologies, Digital Collections`, Pereslavl-Zalessky, Russia, October 15-18, 2012, pp. 42-52, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
12 | Raymond W. Yeung |
A unification of network coding and routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITA ![In: 2012 Information Theory and Applications Workshop, ITA 2012, San Diego, CA, USA, February 5-10, 2012, pp. 246-248, 2012, IEEE, 978-1-4673-1473-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Ryotaro Kamimura |
Separation and Unification of Individuality and Collectivity and Its Application to Explicit Class Structure in Self-Organizing Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks and Machine Learning - ICANN 2012 - 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II, pp. 387-394, 2012, Springer, 978-3-642-33265-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Franz Baader, Stefan Borgwardt, Julian Mendez 0001, Barbara Morawska 0001 |
UEL: Unification Solver for EL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
12 | Franz Baader, Stefan Borgwardt, Barbara Morawska 0001 |
A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
12 | Timm Lichte |
Synchronous Tree Unification Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAG ![In: Proceedings of the 11th International Workshop on Tree Adjoining Grammars and Related Formalisms, TAG+ 2012, Paris, France, September 26-28, 2012, pp. 46-54, 2012, ACL, 978-1-937284-46-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
12 | Ines Ben Messaoud 0002, Jamel Feki, Gilles Zurfluh |
A first step for building a document warehouse: Unification of XML documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCIS ![In: Sixth International Conference on Research Challenges in Information Science, RCIS 2012, Valencia, Spain, May 16-18 2012, pp. 1-6, 2012, IEEE, 978-1-4577-1938-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Saad Tanveer, Aslam Muhammad 0001, Ana María Martínez Enríquez, Gonzalo Escalada-Imaz |
Phonetic Unification of Multiple Accents for Spanish and Arabic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCPR ![In: Pattern Recognition - 4th Mexican Conference, MCPR 2012, Huatulco, Mexico, June 27-30, 2012. Proceedings, pp. 323-333, 2012, Springer, 978-3-642-31148-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Joseph S. Sventek, Alexandros Koliousis |
Unification of Publish/Subscribe Systems and Stream Databases - The Impact on Complex Event Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2012 - ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings, pp. 292-311, 2012, Springer, 978-3-642-35169-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Franz Baader, Stefan Borgwardt, Barbara Morawska 0001 |
A Goal-Oriented Algorithm for Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings, pp. 493-504, 2012, Springer, 978-3-642-35100-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Gergely Varró, Anthony Anjorin, Andy Schürr |
Unification of Compiled and Interpreter-Based Pattern Matching Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings, pp. 368-383, 2012, Springer, 978-3-642-31490-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Thomas Given-Wilson |
Concurrent pattern unification ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
12 | Kimberly A. Gero, Christopher Bouchard, Paliath Narendran |
Some Notes on Basic Syntactic Mutation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012, pp. 17-27, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Fred Y. Ye |
A unification of three models for the h-index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Assoc. Inf. Sci. Technol. ![In: J. Assoc. Inf. Sci. Technol. 62(1), pp. 205-207, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Fred Y. Ye |
A theoretical approach to the unification of informetric models by wave-heat equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Assoc. Inf. Sci. Technol. ![In: J. Assoc. Inf. Sci. Technol. 62(6), pp. 1208-1211, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Zeeshan Ali Rana, Mian M. Awais, Shafay Shamail |
Nomenclature unification of software product measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Softw. ![In: IET Softw. 5(1), pp. 83-102, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Saber Benharzallah, Sahli Siham |
Approximate XQuery Reformulation Based on GLAV Mapping and Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Appl. ![In: Int. J. Web Appl. 3(4), pp. 157-165, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
12 | Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß |
Unification and matching on compressed terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 12(4), pp. 26:1-26:37, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Abdourrahmane M. Atto, Dominique Pastor, Grégoire Mercier |
Wavelet shrinkage: unification of basic thresholding functions and thresholds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Image Video Process. ![In: Signal Image Video Process. 5(1), pp. 11-28, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Kristian Uldall Kristiansen, Phil L. Palmer, Mark Roberts |
A Unification of Models of Tethered Satellites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Dyn. Syst. ![In: SIAM J. Appl. Dyn. Syst. 10(3), pp. 1042-1069, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Ünal Ufuktepe, Sinan Kapçak |
Unification of calculus on Time Scales with mathematica. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 218(3), pp. 1102-1106, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Hacer Ozden |
p-Adic distribution of the unification of the Bernoulli, Euler and Genocchi polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 218(3), pp. 970-973, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Gianfranco Rossi |
From set unification to set constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligenza Artificiale ![In: Intelligenza Artificiale 5(1), pp. 157-161, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran |
Unification over Distributive Exponentiation (Sub)Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 16(2-4), pp. 109-140, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Raf Vandebril, Gianna M. Del Corso |
A unification of unitary similarity transforms to compressed representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerische Mathematik ![In: Numerische Mathematik 119(4), pp. 641-665, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Juergen Mangler, Stefanie Rinderle-Ma |
IUPC: Identification and Unification of Process Constraints ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1104.3609, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
12 | Alexis Akira Toda |
Unification of Maximum Entropy and Bayesian Inference via Plausible Reasoning ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1103.2411, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
12 | David Romero-Hernández, David de Frutos-Escrig |
On the Unification of Process Semantics: Logical Semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011., pp. 47-61, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Yael Sygal, Shuly Wintner |
Towards Modular Development of Typed Unification Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Linguistics ![In: Comput. Linguistics 37(1), pp. 29-74, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Sergey Babenyshev, Vladimir V. Rybakov |
Unification in linear temporal logic LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 162(12), pp. 991-1000, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Takashi Ninomiya, Takuya Matsuzaki, Nobuyuki Shimizu, Hiroshi Nakagawa |
Deterministic shift-reduce parsing for unification-based grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Lang. Eng. ![In: Nat. Lang. Eng. 17(3), pp. 331-365, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Krzysztof Grabczewski, Norbert Jankowski |
Saving time and memory in computational intelligence system with machine unification and task spooling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 24(5), pp. 570-588, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Sean A. Fulop |
Erratum to: Grammar Induction by Unification of Type-logical Lexicons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 20(1), pp. 135-136, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Tomohiro Umetani, Kenji Inoue, Tatsuo Arai |
Pose Estimation of Construction Materials Using Multiple ID Devices for Parts and Packets Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Aided Civ. Infrastructure Eng. ![In: Comput. Aided Civ. Infrastructure Eng. 26(5), pp. 356-367, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Christian Straßer, Dunja Seselja |
Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 21(2), pp. 133-156, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira |
First-order unification using variable-free relational algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 19(6), pp. 790-820, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | María Alpuente, Santiago Escobar 0001, José Iborra |
Modular termination of basic narrowing and equational unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 19(6), pp. 731-762, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Franz Baader, Silvio Ghilardi |
Unification in modal and description logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 19(6), pp. 705-730, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Janusz Kacprzyk, Hannu Nurmi, Slawomir Zadrozny |
The Role of the OWA Operators as a Unification Tool for the Representation of Collective Choice Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Recent Developments in the Ordered Weighted Averaging Operators ![In: Recent Developments in the Ordered Weighted Averaging Operators: Theory and Practice, pp. 149-166, 2011, Springer, 978-3-642-17909-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Mario Bunge |
Two Unification Strategies: Analysis or Reduction, and Synthesis or Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Otto Neurath and the Unity of Science ![In: Otto Neurath and the Unity of Science, pp. 145-157, 2011, Springer, 978-94-007-0142-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Rosalie Iemhoff |
Unification in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings, pp. 2, 2011, Springer, 978-3-642-20919-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Ülle Kotta, Palle Kotta, Maris Tõnso, Miroslav Halás |
State-space realization of nonlinear input-output equations: Unification and extension via pseudo-linear algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCA ![In: 9th IEEE International Conference on Control and Automation, ICCA 2011, Santiago, Chile, December 19-21, 2011, pp. 354-359, 2011, IEEE, 978-1-4577-1475-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|