|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 49 occurrences of 49 keywords
|
|
|
Results
Found 54 publication records. Showing 54 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
53 | Luc Schneider |
The Logic of the Ontological Square. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(1), pp. 25-51, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
particulars, substances, Universals, predication, modes, copula, formal ontology |
51 | J. R. Welch |
Vagueness and Inductive Molding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 154(1), pp. 147-172, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Gennady L. Andrienko, Mikael Jern, Jason Dykes, Sara Irina Fabrikant, Chris E. Weaver |
Geovisualization and synergies from InfoVis and Visual Analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 11th International Conference on Information Visualisation, IV 2007, 2-6 July 2007, Zürich, Switzerland, pp. 485-488, 2007, IEEE Computer Society, 0-7695-2907-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Joshua Howell, Francis K. H. Quek |
Math for Those with Severe Low Vision: From the Particulars to the Gestalt (And Back Again). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIE ![In: IEEE Frontiers in Education Conference, FIE 2023, College Station, TX, USA, October 18-21, 2023, pp. 1-9, 2023, IEEE, 979-8-3503-3642-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Oksana Marchuk, Ivan Bekhta, Nataliya Bondarchuk |
Statistical Particulars of the Lexical-Thematic Group Evil in J. K. Rowling's Harry Potter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLINS ![In: Proceedings of the 6th International Conference on Computational Linguistics and Intelligent Systems (COLINS 2022). Volume I: Main Conference, Gliwice, Poland, May 12-13, 2022., pp. 461-470, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
34 | Claudio Masolo, Adrien Barton |
The Identity of Property Particulars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JOWO ![In: Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
34 | Robert P. W. Duin |
The dissimilarity representation for finding universals from particulars by an anti-essentialist approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 64, pp. 37-43, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
34 | Kai Wang, Jorge J. Riera, Herve Enjieu-Kadji, Ryuta Kawashima |
The Role of Extracellular Conductivity Profiles in Compartmental Models for Neurons: Particulars for Layer 5 Pyramidal Cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. ![In: Neural Comput. 25(7), pp. 1807-1852, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
34 | Miray Kas |
Toward on-chip datacenters: a perspective on general trends and on-chip particulars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 62(1), pp. 214-226, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Ou Jie Zhao, Tiffany Ng, Dan Cosley |
No forests without trees: particulars and patterns in visualizing personal communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iConference ![In: iConference 2012, Toronto, Ontario, Canada, February 7-10, 2012, pp. 25-32, 2012, ACM, 978-1-4503-0782-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Karl Bergström |
The implicit rules of board games: on the particulars of the lusory agreement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MindTrek ![In: Proceedings of the 14th International Academic MindTrek Conference: Envisioning Future Media Environments, MindTrek 2010, Tampere, Finland, October 6-8, 2010, pp. 86-93, 2010, ACM, 978-1-4503-0011-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Ron Rudnicki, Werner Ceusters, Shahid Manzoor, Barry Smith 0001 |
What Particulars are Referred to in Electronic Health Record Data? A Case Study in Integrating Referent Tracking into an EHR Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2007, American Medical Informatics Association Annual Symposium, Chicago, IL, USA, November 10-14, 2007, 2007, AMIA. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
34 | Francesco Orilia |
Quantum-mechanical Statistics and the Inclusivist Approach to the Nature of Particulars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 148(1), pp. 57-77, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Hwangnam Kim, E-yong Kim |
PReSENt: A Collaboration Framework for Resource Sharing in Wireless Mesh Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 20(3), pp. 289-302, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese |
A Meta-model of Access Control in a Fibred Security Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 92(3), pp. 437-477, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fibring, Security, Access Control, Logic |
17 | Ing Widya, Bert-Jan van Beijnum, Richard Bults, Valerie M. Jones, Hermie J. Hermens, Leif Sandsjö, Leendert Schaake, M. H. A. Huis in't Veld |
Early phase requirements assessment of a teletreatment trial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 395-396, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
goal-oriented requirements elicitation, trial design, telemedicine |
17 | Ralph Duncan, Peder Jungck |
packetC Language for High Performance Packet Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: 11th IEEE International Conference on High Performance Computing and Communications, HPCC 2009, 25-27 June 2009, Seoul, Korea, pp. 450-457, 2009, IEEE, 978-0-7695-3738-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Katerina Pastra |
COSMOROE: a cross-media relations framework for modelling multimedia dialectics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Syst. ![In: Multim. Syst. 14(5), pp. 299-323, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Cross-media relations, Image-language-movement interaction, Multimedia dialectics, Multimedia discourse, Multimedia semantics |
17 | Dmitri Maslov, Sean M. Falconer, Michele Mosca |
Quantum Circuit Placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(4), pp. 752-763, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Monika Andersson, Maria Nordmark |
Bringing the web to the shop floor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordiCHI ![In: Proceedings of the 5th Nordic Conference on Human-Computer Interaction 2008, Lund, Sweden, October 20-22, 2008, pp. 579-580, 2008, ACM, 978-1-59593-704-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
interaction, user experience, retail, contextual design |
17 | Abdelfattah Abouelaoualim, Kinkar Chandra Das, Luérbio Faria, Yannis Manoussakis, Carlos A. J. Martinhon, Rachid Saad |
Paths and Trails in Edge-Colored Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2008: Theoretical Informatics, 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings, pp. 723-735, 2008, Springer, 978-3-540-78772-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
properly edge-colored paths, trails and cycles, connectivity, Edge colored graphs |
17 | Olivier Steichen, Christel Daniel-Le Bozec, Marie-Christine Jaulent, Jean Charlet |
Building an Ontology of Hypertension Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence in Medicine, 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007, Proceedings, pp. 292-296, 2007, Springer, 978-3-540-73598-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Computerized Medical Records, Ontologies, Guidelines |
17 | Euisun Kang, DaeHyuck Park, Younghwan Lim |
Content Aware Selecting Method for Reducing the Response Time of an Adaptive Mobile Web Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC ![In: Ubiquitous Intelligence and Computing, 4th International Conference, UIC 2007, Hong Kong, China, July 11-13, 2007, Proceedings, pp. 748-757, 2007, Springer, 978-3-540-73548-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Daniel M. Russell, Carrie Grimes |
Assigned tasks are not the same as self-chosen Web search tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA, pp. 83, 2007, IEEE Computer Society, 0-7695-2755-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Judith Gelernter |
A quantitative analysis of collaborative tags: Evaluation for information retrieval - a preliminary study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CollaborateCom ![In: Proceedings of the 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, White Plains, New York, USA, November 12-15, 2007, pp. 376-381, 2007, IEEE Computer Society / ICST, 1-4244-1317-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Rémy Haemmerlé, François Fages, Sylvain Soliman |
Closures and Modules Within Linear Logic Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 544-556, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Dmitri Maslov, Sean M. Falconer, Michele Mosca |
Quantum Circuit Placement: Optimizing Qubit-to-qubit Interactions through Mapping Quantum Circuits into a Physical Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 44th Design Automation Conference, DAC 2007, San Diego, CA, USA, June 4-8, 2007, pp. 962-965, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Don Garrett |
Hume's naturalistic theory of representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 152(3), pp. 301-319, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
External world, Resemblance, Abstract ideas, Owen, Cohon, Representation, Naturalism, Ideas, Bodies, Impressions, Copy, Hume |
17 | Yu David Liu, Scott F. Smith 0001 |
A formal framework for component deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 325-344, 2006, ACM, 1-59593-348-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
component, deployment, version |
17 | Heidi J. C. Ellis |
Self-grading: an approach to supporting self-directed learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2006, Bologna, Italy, June 26-28, 2006, pp. 349, 2006, ACM, 1-59593-055-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
student grading, software engineering education |
17 | Ana Toledo Moreo, Cristina Vicente-Chicote, Juan Suardíaz Muro, Sergio A. Cuenca |
Xilinx System Generator Based HW Components for Rapid Prototyping of Computer Vision SW/HW Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IbPRIA (1) ![In: Pattern Recognition and Image Analysis, Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part I, pp. 667-674, 2005, Springer, 3-540-26153-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
FPGAs, prototyping, Simulink, co-simulation, image processing applications |
17 | Ferruccio Damiani |
Rank-2 Intersection and Polymorphic Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, pp. 146-161, 2005, Springer, 3-540-25593-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Annegret Goold, Jo Coldwell |
Teaching ethics in a virtual classroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005, pp. 232-236, 2005, ACM, 1-59593-024-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ethics, virtual classes, computing curriculum, online courses |
17 | Stuart Harvey Rubin, S. N. Jayaram Murthy, Michael H. Smith, Ljiljana Trajkovic |
KASER: knowledge amplification by structured expert randomization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 34(6), pp. 2317-2329, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Robert M. Fuhrer, Frank Tip, Adam Kiezun |
Advanced refactorings in eclipse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 8, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
parametric types, software engineering, refactoring, type systems |
17 | Alexandra Weilenmann, Peter Leuchovius |
"I'm waiting where we met last time": exploring everyday positioning practices to inform design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordiCHI ![In: Proceedings of the Third Nordic Conference on Human-Computer Interaction 2004, Tampere, Finland, October 23-27, 2004, pp. 33-42, 2004, ACM, 1-58113-857-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
position-based services, mobility, mobile phones, location-based services, conversation analysis |
17 | Ferruccio Damiani |
Rank 2 intersection types for local definitions and conditional expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 25(4), pp. 401-451, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
polymorphic recursion, Type inference, principal typings |
17 | Irene Garrigós, Jaime Gómez, Cristina Cachero |
Modelling Dynamic Personalization in Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering, International Conference, ICWE 2003, Oviedo, Spain, July 14-18, 2003, Proceedings, pp. 472-475, 2003, Springer, 3-540-40522-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Dror G. Feitelson, Millet Treinin |
The Blueprint for Life? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 35(7), pp. 34-40, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Tom DeMarco, Barry W. Boehm |
The Agile Methods Fray. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 35(6), pp. 90-92, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | E. J. Lowe |
Opening plenary talk: Recent advances in metaphysics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: 2nd International Conference on Formal Ontology in Information Systems, FOIS 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings., pp. 1, 2001, ACM, 1-58113-377-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Jaime Gómez, Cristina Cachero, Oscar Pastor 0001 |
Extending a Conceptual Modelling Approach to Web Application Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 12th International Conference CAiSE 2000, Stockholm, Sweden, June 5-9, 2000, Proceedings, pp. 79-93, 2000, Springer, 3-540-67630-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Cristina Cachero, Jaime Gómez, Oscar Pastor 0001 |
Object-Oriented Conceptual Modeling of Web Application Interfaces: the OO-HMethod Abstract Presentation Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: Electronic Commerce and Web Technologies, First International Conference, EC-Web 2000, London, UK, September 4-6, 2000, Proceedings, pp. 206-215, 2000, Springer, 3-540-67981-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Tullio Tanzi, Sylvie Servigne, Régis Guiol |
Real-Time Information System for Risk Management on Motorways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 10th International Conference CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings, pp. 325-338, 1998, Springer, 3-540-64556-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Janusz Rajski, Jerzy Tyszer |
Modular logic built-in self-test for IP cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 1998, Washington, DC, USA, October 18-22, 1998, pp. 313-321, 1998, IEEE Computer Society, 0-7803-5093-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Robert Snelick |
S-Check: a Tool for Tuning Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: 11th International Parallel Processing Symposium (IPPS '97), 1-5 April 1997, Geneva, Switzerland, Proceedings, pp. 107-112, 1997, IEEE Computer Society, 0-8186-7792-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Russell L. Shackelford, Richard J. LeBlanc |
Integrating "depth first" and "breadth first" models of computing curricula. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1994, Phoenix, Arizona, USA, March 10-12, 1994, pp. 6-10, 1994, ACM, 0-89791-646-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Lori L. Pollock, Mary Lou Soffa |
Incremental Global Reoptimization of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 14(2), pp. 173-200, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
incremental data flow analysis, incremental reoptimization, optimization dependencies, compiler optimization |
17 | Ulrich Fraus, Heinrich Hußmann |
An Inductive Theorem Prover Based on Narrowing. ![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. 475-477, 1992, Springer, 3-540-55727-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Alan M. Frisch, Anthony G. Cohn 0001 |
An Abstract View of Sorted Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 178-192, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Ulrich Fraus, Heinrich Hußmann |
A Narrowing-Based Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings, pp. 421-422, 1991, Springer, 3-540-54444-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Ulrich Fraus |
A Narrowing-Based Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings, pp. 435-436, 1991, Springer, 3-540-53904-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Don Erickson |
Technical Support Program for APL Related Question. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Conference Proceedings on APL 90: For the Future, APL 1990, Copenhagen, Denmark, August 13-17, 1990., pp. 103, 1990, ACM, 0-89791-371-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
APL |
17 | Howard B. Newcombe, James M. Kennedy |
Record linkage: making maximum use of the discriminating power of identifying information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 5(11), pp. 563-566, 1962. The full citation details ...](Pics/full.jpeg) |
1962 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #54 of 54 (100 per page; Change: )
|
|