Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Hasan M. Jamil |
Computing subgraph isomorphic queries using structural unification and minimum graph structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011, pp. 1053-1058, 2011, ACM, 978-1-4503-0113-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Pipei Huang, Shiyin Qin, Donghuan Lu |
A Novel Approach to Image Assessment by Seeking Unification of Subjective and Objective Criteria Based on Supervised Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIRAGE ![In: Computer Vision/Computer Graphics Collaboration Techniques - 5th International Conference, MIRAGE 2011, Rocquencourt, France, October 10-11, 2011. Proceedings, pp. 274-285, 2011, Springer, 978-3-642-24135-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Muhammad Aqeel Wahlah, Kees Goossens |
PUMA: Placement Unification with Mapping and Guaranteed Throughput Allocation on an FPGA Using a Hardwired NoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 14th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2011, August 31 - September 2, 2011, Oulu, Finland, pp. 88-96, 2011, IEEE Computer Society, 978-1-4577-1048-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Andreas Abel 0001, Brigitte Pientka |
Higher-Order Dynamic Pattern Unification for Dependent Types and Records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 10-26, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Martin Schmidt 0002, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack |
Refinements of Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings, pp. 289-300, 2011, Springer, 978-3-642-24454-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Franz Baader, Barbara Morawska 0001, Jan Otop (eds.) |
Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
12 | Steven Eker |
Fast Sort Computations for Order-Sorted Matching and Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Modeling: Actors, Open Systems, Biological Systems ![In: Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday, pp. 299-314, 2011, Springer, 978-3-642-24932-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Ondrej Klíma 0001, Libor Polák |
Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Foundations in Computer Science ![In: Algebraic Foundations in Computer Science - Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement, pp. 214-227, 2011, Springer, 978-3-642-24896-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Menghan Chen, Beijun Shen |
A semantic unification approach for M2M applications based on ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WiMob ![In: IEEE 7th International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2011, Shanghai, China, October 10-12, 2011, pp. 265-271, 2011, IEEE Computer Society, 978-1-4577-2013-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Eva García, Luis de Marcos, Antonio García-Cabot, José Ramón Hilera |
A system for usable unification of interfaces of learning objects in m-learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011, pp. 347, 2011, ACM, 978-1-4503-0697-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Atsutomo Kobayashi, Buntarou Shizuki, Jiro Tanaka |
Data Unification on a Dataflow Visual Language for Vjing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 17th International Conference on Distributed Multimedia Systems, DMS 2011, October 18-20, 2011, Convitto della Calza, Florence, Italy, pp. 268-273, 2011, Knowledge Systems Institute, 1-891706-30-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
12 | Zhiqiang Liu, Christopher Lynch |
Efficient General Unification for XOR with Homomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings, pp. 407-421, 2011, Springer, 978-3-642-22437-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Franz Baader, Thanh Binh Nguyen 0003, Stefan Borgwardt, Barbara Morawska 0001 |
Unification in the Description Logic EL without the Top Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings, pp. 70-84, 2011, Springer, 978-3-642-22437-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Serdar Erbatur, Christopher Lynch, Paliath Narendran |
Unification in a Theory of Blind Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX (Workshops, Tutorials, and Short Papers) ![In: TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011, pp. 31-44, 2011, University of Bern. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
12 | Vladimir V. Rybakov |
Agents' Logics with Common Knowledge and Uncertainty: Unification Problem, Algorithm for Construction Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based and Intelligent Information and Engineering Systems - 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part I, pp. 171-179, 2011, Springer, 978-3-642-23850-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Vladimir V. Rybakov |
Chance Discovery and Unification in Linear Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowlege-Based and Intelligent Information and Engineering Systems - 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part II, pp. 478-485, 2011, Springer, 978-3-642-23862-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | César Jesús Pardo Calvache, Francisco J. Pino, Félix García 0001, Mario Piattini, Maria Teresa Baldassarre, Sandra Lemus |
Homogenization, Comparison and Integration: A Harmonizing Strategy for the Unification of Multi-models in the Banking Sector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product-Focused Software Process Improvement - 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings, pp. 59-72, 2011, Springer, 978-3-642-21842-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Matthew Skala, Gerald Penn |
Approximate Bit Vectors for Fast Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOL ![In: The Mathematics of Language - 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings, pp. 158-173, 2011, Springer, 978-3-642-23210-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Claire Bonial, William J. Corvey, Martha Palmer, Volha Petukhova, Harry Bunt |
A Hierarchical Unification of LIRICS and VerbNet Semantic Roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSC ![In: Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), Palo Alto, CA, USA, September 18-21, 2011, pp. 483-489, 2011, IEEE Computer Society, 978-1-4577-1648-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
thematic roleset, semantic annotation, lexical resources |
12 | Wen-Ran Zhang |
YinYang bipolar atom and quantum cellular automation - A unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM Workshops ![In: 2011 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2011, Atlanta, GA, USA, November 12-15, 2011, pp. 791-797, 2011, IEEE Computer Society, 978-1-4577-1612-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Santiago Escobar 0001, Deepak Kapur, Christopher Lynch, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran, Ralf Sasse |
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 65-76, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Temur Kutsia, Jordi Levy, Mateu Villaret |
Anti-Unification for Unranked Terms and Hedges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 219-234, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Francisco Durán 0001, Steven Eker, Santiago Escobar 0001, José Meseguer 0001, Carolyn L. Talcott |
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 31-40, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Adrià Gascón, Sebastian Maneth, Lander Ramos |
First-Order Unification on Compressed Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 51-60, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Anatoli Gorchetchnikov, Massimiliano Versace, Heather Ames, Ben Chandler, Jasmin Léveillé, Gennady Livitz, Ennio Mingolla, Greg Snider, Rick Amerson, Dick Carter, Hisham Abdalla, Muhammad Shakeel Qureshi |
Review and unification of learning framework in Cog Ex Machina platform for memristive neuromorphic hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: The 2011 International Joint Conference on Neural Networks, IJCNN 2011, San Jose, California, USA, July 31 - August 5, 2011, pp. 2601-2608, 2011, IEEE, 978-1-4244-9635-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Hassan Aït-Kaci |
A Sorted-Graph Unification Approach to the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: Proceedings of the 2011 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2011, Campus Scientifique de la Doua, Lyon, France, August 22-27, 2011, pp. 1, 2011, IEEE Computer Society, 978-0-7695-4513-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Hiroyuki Okamura, Tadashi Dohi |
Unification of Software Reliability Models Using Markovian Arrival Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 17th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2011, Pasadena, CA, USA, December 12-14, 2011, pp. 20-27, 2011, IEEE Computer Society, 978-1-4577-2005-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Germano Resconi, Christopher J. Hinde |
Active Sets and Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications - 5th KES International Conference, KES-AMSTA 2011, Manchester, UK, June 29 - July 1, 2011. Proceedings, pp. 363-372, 2011, Springer, 978-3-642-21999-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Yohan Jo, Alice Oh |
Aspect and sentiment unification model for online review analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSDM ![In: Proceedings of the Forth International Conference on Web Search and Web Data Mining, WSDM 2011, Hong Kong, China, February 9-12, 2011, pp. 815-824, 2011, ACM, 978-1-4503-0493-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Franz Baader, Thanh Binh Nguyen 0003, Stefan Borgwardt, Barbara Morawska 0001 |
Unification in the Description Logic EL without the Top Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
12 | Dylan Seychell, Alexiei Dingli |
RULIE: Rule Unification for Learning Information Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LDH ![In: Workshop on Discovering Meaning On the Go in Large Heterogeneous Data 2011 (LHD-11), Barcelona, Spain, July 16, 2011, pp. 61-66, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
12 | Thanh Binh Nguyen 0003 |
Decidability of Unification in EL without Top Constructor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings, pp. 170-184, 2011, Springer, 978-3-642-23579-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Ines Ben Messaoud 0002, Jamel Feki, Kaïs Khrouf, Gilles Zurfluh |
Unification of XML Document Structures for Document Warehouse (DocW). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (1) ![In: ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems, Volume 1, Beijing, China, 8-11 June, 2011, pp. 85-94, 2011, SciTePress, 978-989-8425-53-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
12 | Yael Sygal |
Modular development of typed unification grammars: a mathematical and computational infrastracture for grammar engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
12 | Stefan Ciobaca |
Computing finite variants for subterm convergent rewrite systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011., pp. 28-34, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
12 | Lukasz Stafiniak |
Joint Constraint Abduction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011., pp. 15-20, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
12 | Wojciech Dzik, Piotr Wojtylak |
Projective Unifiers in Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011., pp. 21-27, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
12 | Franz Baader, Nguyen Thanh Binh 0003, Stefan Borgwardt, Barbara Morawska 0001 |
Computing Local Unifiers in the Description Logic EL without the Top Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011., pp. 2-8, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
12 | Yosuke Matsusaka, Hiroyuki Fujii, Isao Hara |
An Extensible Dialogue Script for a Robot Based on Unification of State-Transition Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Robotics ![In: J. Robotics 2010, pp. 301923:1-301923:14, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Ülle Kotta, Palle Kotta, Miroslav Halás |
Reduction and transfer equivalence of nonlinear control systems: unification and extension via pseudo-linear algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 46(5), pp. 831-849, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
12 | José Ghislain Quenum, Samir Aknine |
A unification-based approach to configure generic protocols into agent interaction models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Agent Oriented Softw. Eng. ![In: Int. J. Agent Oriented Softw. Eng. 4(1), pp. 32-78, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Arekhandia Patrick Eigbe, Brian J. Sauser, John T. Boardman |
Soft systems analysis of the unification of test and evaluation and program management: A study of a Federal Aviation Administration's strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Eng. ![In: Syst. Eng. 13(3), pp. 298-310, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Marcel C. M. Bastiaansen, Lilla Magyari, Peter Hagoort |
Syntactic Unification Operations Are Reflected in Oscillatory Dynamics during On-line Sentence Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cogn. Neurosci. ![In: J. Cogn. Neurosci. 22(7), pp. 1333-1347, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Grzegorz Bancerek |
A Model of Mizar Concepts - Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 18(1-4), pp. 65-75, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Mohammed Belkhatir |
CLOVIS: towards precision-oriented text-based video retrieval through the unification of automatically-extracted concepts and relations of the visual and audio/speech contents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 34(2), pp. 135-175, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Clare Horsman, William J. Munro |
Hybrid Hypercomputing: Towards a Unification of Quantum and Classical Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Unconv. Comput. ![In: Int. J. Unconv. Comput. 6(5), pp. 417-435, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
12 | Ichiro Mitsuhashi, Michio Oyamaguchi, Kunihiro Matsuura |
The Unification Problem for Confluent Semi-Constructor TRSs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 93-D(11), pp. 2962-2978, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Tineke M. Snijders, Karl Magnus Petersson, Peter Hagoort |
Effective connectivity of cortical and subcortical regions during unification of sentence structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 52(4), pp. 1633-1644, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Hiroaki Nishikawa |
A first-order system approach for diffusion equation. II: Unification of advection and diffusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 229(11), pp. 3989-4016, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Yin Yang, Guodong Rong, Luis G. Torres, Xiaohu Guo |
Real-time hybrid solid simulation: spectral unification of deformable and rigid materials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Animat. Virtual Worlds ![In: Comput. Animat. Virtual Worlds 21(3-4), pp. 151-159, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Jaroslaw Pykacz |
Unification of Two Approaches to Quantum Logic: Every Birkhoff - von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 95(1-2), pp. 5-20, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Y. Lu, B. Hu, J. Yu |
Unification and Simplification of Dynamics of Limited-DOF Parallel Manipulators with Linear Active Legs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Robotics Autom. ![In: Int. J. Robotics Autom. 25(2), 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Sreekanth Malladi |
Disabling equational theories in unification for cryptographic protocol analysis through tagging ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1003.5406, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
12 | Jordi Levy, Mateu Villaret |
Nominal Unification from a Higher-Order Perspective ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1005.3731, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
12 | Anders Schack-Nielsen, Carsten Schürmann |
Pattern Unification for the Lambda Calculus with Linear and Affine Types ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010., pp. 101-116, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß |
Unification and Matching on Compressed Terms ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1003.1632, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
12 | Franz Baader, Barbara Morawska 0001 |
Unification in the Description Logic EL ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 6(3), 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
12 | Maribel Fernández (eds.) |
Proceedings 24th International Workshop on Unification, UNIF 2010, Edinburgh, United Kingdom, 14th July 2010. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Juliette Rouchier |
The Bounds of Reason: Game Theory and the Unification of the Behavioral Sciences by Herbert Gintis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Soc. Soc. Simul. ![In: J. Artif. Soc. Soc. Simul. 13(2), 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
12 | Guillaume Prigent, Florian Vichot, Fabrice Harrouet |
IpMorph: fingerprinting spoofing unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. ![In: J. Comput. Virol. 6(4), pp. 329-342, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Patrice Auffret |
SinFP, unification of active and passive operating system fingerprinting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. ![In: J. Comput. Virol. 6(3), pp. 197-205, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Sean A. Fulop |
Grammar Induction by Unification of Type-logical Lexicons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 19(3), pp. 353-381, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | James Cheney |
Equivariant Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 45(3), pp. 267-300, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Temur Kutsia, Jordi Levy, Mateu Villaret |
On the relation between Context and Sequence Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 45(1), pp. 74-95, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß, Ashish Tiwari 0001 |
Context unification with one context variable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 45(2), pp. 173-193, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan |
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 18(6), pp. 769-822, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Yi Zhang 0003, Stephan Oepen, John Carroll 0001 |
Efficiency in Unification-Based N-Best Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Parsing Technology ![In: Trends in Parsing Technology, Dependency Parsing, Domain Adaptation, and Deep Parsing, pp. 223-241, 2010, Springer, 978-90-481-9351-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Andréia B. Avelar, Flávio L. C. de Moura, André Luiz Galdino, Mauricio Ayala-Rincón |
Verification of the Completeness of Unification Algorithms à la Robinson. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings, pp. 110-124, 2010, Springer, 978-3-642-13823-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Franz Baader, Barbara Morawska 0001 |
SAT Encoding of Unification in EL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Yogyakarta) ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings, pp. 97-111, 2010, Springer, 978-3-642-16241-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Amine Dhraief, Abdelfettah Belghith |
Suitability analysis of mobility and multihoming unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWUS ![In: Proceedings of the International Conference on Wireless and Ubiquitous Systems , ICWUS 2010, October 8-10, 2010, Sousse, Tunisia, pp. 50-55, 2010, IEEE, 978-1-4244-9257-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
An efficient fuzzy unification method and its implementation into the Bousi~Prolog system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2010, IEEE International Conference on Fuzzy Systems, Barcelona, Spain, 18-23 July, 2010, Proceedings, pp. 1-8, 2010, IEEE, 978-1-4244-6919-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert |
Datalog Relaunched: Simulation Unification and Value Invention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datalog ![In: Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, pp. 321-350, 2010, Springer, 978-3-642-24205-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Andrew S. Miner, Yaping Jing |
A Formal Language toward the Unification of Model Checking and Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASMTA ![In: Analytical and Stochastic Modeling Techniques and Applications, 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings, pp. 130-144, 2010, Springer, 978-3-642-13567-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Norbert Jankowski, Krzysztof Grabczewski |
Increasing Efficiency of Data Mining Systems by Machine Unification and Double Machine Cache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC (1) ![In: Artificial Intelligence and Soft Computing, 10th International Conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part I, pp. 380-387, 2010, Springer, 978-3-642-13207-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Christian Kruschitz, Martin Hitz |
Bringing formalism and unification to human-computer interaction design patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEICS@EICS ![In: Proceedings of the 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems, PEICS '10, Berlin, Germany, July 20, 2010, pp. 20-23, 2010, ACM, 978-1-4503-0246-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Roman Barták |
Constraint Models for Reasoning on Unification in Inductive Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings, pp. 101-110, 2010, Springer, 978-3-642-15430-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Ramana Kumar, Michael Norrish |
(Nominal) Unification by Recursive Descent with Triangular Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, pp. 51-66, 2010, Springer, 978-3-642-14051-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Tom Kwiatkowski, Luke Zettlemoyer, Sharon Goldwater, Mark Steedman |
Inducing Probabilistic CCG Grammars from Logical Form with Higher-Order Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP ![In: Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing, EMNLP 2010, 9-11 October 2010, MIT Stata Center, Massachusetts, USA, A meeting of SIGDAT, a Special Interest Group of the ACL, pp. 1223-1233, 2010, ACL, 978-1-932432-86-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
12 | Temur Kutsia, Mircea Marin |
Order-Sorted Unification with Regular Expression Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, pp. 193-208, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-18-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Jordi Levy, Mateu Villaret |
An Efficient Nominal Unification Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, pp. 209-226, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-18-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Benedikt Linse |
Data integration on the (semantic) web with rules and rich unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
12 | Sophie Rodier |
Une tentative d'unification et de résolution des problèmes de modélisation et d'optimisation dans les systèmes hospitaliers . Application au nouvel hôpital Estaing. (An attempt to unify and solve the questions of modeling and optimization within the hospital systems. Application to the New Estaing Hospital). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
12 | Sunil Kothari, James L. Caldwell |
A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIF ![In: Proceedings 24th International Workshop on Unification, UNIF 2010, Edinburgh, United Kingdom, 14th July 2010., pp. 24-38, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | |
Unification Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Biometrics ![In: Encyclopedia of Biometrics, pp. 1349, 2009, Springer US, 978-0-387-73002-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino |
On the Unification of Process Semantics: Equational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, MFPS 2009, Oxford, UK, April 3-7, 2009, pp. 243-267, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Cathelijne M. J. Y. Tesink, Karl Magnus Petersson, Jos J. A. Van Berkum, Danielle van den Brink, Jan K. Buitelaar, Peter Hagoort |
Unification of Speaker and Meaning in Language Comprehension: An fMRI Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cogn. Neurosci. ![In: J. Cogn. Neurosci. 21(11), pp. 2085-2099, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Hayato Chiba |
Extension and Unification of Singular Perturbation Methods for ODEs Based on the Renormalization Group Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Dyn. Syst. ![In: SIAM J. Appl. Dyn. Syst. 8(3), pp. 1066-1115, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Jordi Levy, Mateu Villaret |
Simplifying the signature in second-order unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 20(5-6), pp. 427-445, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Ruoming Jin, Yuri Breitbart, Chibuike Muoh |
Data discretization unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 19(1), pp. 1-29, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Gini index, MDLP, G 2 test, Entropy, Discretization, Chi-square test |
12 | Qing Li 0005, Yuanzhu Peter Chen, Sung-Hyon Myaeng, Yun Jin, Bo-Yeong Kang |
Concept unification of terms in different languages via web mining for Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Manag. ![In: Inf. Process. Manag. 45(2), pp. 246-262, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Wen-Ran Zhang |
The logic of YinYang and the science of TCM: An eastern road to the unification of nature, agents and medicine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Funct. Informatics Pers. Medicine ![In: Int. J. Funct. Informatics Pers. Medicine 2(3), pp. 261-291, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Hui Liu 0002, Jinglei Zhao, Ruzhan Lu |
Toward the Formal Verification of a Unification System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 39(2), pp. 399-408, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Hui Liu 0002, Jinglei Zhao, Ruzhan Lu |
Toward the Formal Verification of a Unification System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 39(4), pp. 879-888, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Patrik Björkholm, Erik L. L. Sonnhammer |
Comparative analysis and unification of domain-domain interaction networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 25(22), pp. 3020-3025, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Xiaochu Qi |
An Implementation of the Language Lambda Prolog Organized around Higher-Order Pattern Unification ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0911.5203, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
12 | Claudio Sacerdoti Coen, Enrico Tassi |
Nonuniform Coercions via Unification Hints ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Proceedings Types for Proofs and Programs, Revised Selected Papers, TYPES 2009, Aussois, France, 12-15th May 2009., pp. 16-29, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Yourim Yoon, Yong-Hyuk Kim, Alberto Moraglio, Byung Ro Moon |
A Mathematical Unification of Geometric Crossovers Defined on Phenotype Space ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0907.3200, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
12 | Robert P. Marinier III, John E. Laird, Richard L. Lewis |
A computational unification of cognitive behavior and emotion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Syst. Res. ![In: Cogn. Syst. Res. 10(1), pp. 48-69, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Nicholas L. Cassimatis |
Flexible Inference with Structured Knowledge through Reasoned Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 24(4), pp. 59-67, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Mark Burgin |
Theory of Information - Fundamentality, Diversity and Unification ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
DOI RDF |
|