|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21168 occurrences of 7577 keywords
|
|
|
Results
Found 30049 publication records. Showing 30049 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
32 | Andrzej Blikle |
Towards Mathematical Structured Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 183-202, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
32 | Susan S. Owicki |
Verifying Concurrent Programs With Shared Data Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 279-300, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
32 | Jean-Pierre Finance |
Static and Computational Semantics of a Definitional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 67-94, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
32 | Luigia Aiello, Giuseppe Attardi, Gianfranco Prini |
Towards a More Declarative Programming Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 121-138, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
32 | Andrei P. Ershov |
On the Essence of Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 391-420, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
32 | Jack B. Dennis |
Opening Remarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. xi, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
32 | Robert M. Keller |
Denotational Models for Parallel Programs with Indeterminate Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 337-366, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
32 | Lawrence Flon, Norihisa Suzuki |
Nondeterminism and the Correctness of Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 589-608, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
32 | Maarten H. van Emden |
Computation and Deductive Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 421-440, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
32 | Robert Milne |
Transforming Predicate Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 31-66, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
32 | Eric R. Anderson 0001, Frank C. Belz, Edward K. Blum |
Issues in the Formal Specifications of Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 1-30, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
32 | Carl E. Hewitt, Henry G. Baker |
Actors and Continuous Functionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 367-390, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
32 | Joseph A. Goguen |
Abstract Errors for Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 491-526, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
32 | Shelby Abraham, Keith Duddy, Michael Lawley, Zoran Milosevic, Kerry Raymond, Andrew Wood |
Mapping Enterprise Events to the CORBA Notification Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 25-28 September 2000, Makuhari, Japan, Proceedings, pp. 124-134, 2000, IEEE Computer Society, 0-7695-0865-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
enterprise event mapping, CORBA notification service, enterprise modelling choices, role based modelling concepts, expressive business event model, expressive enterprise models, business context, modelling concepts, UML Profile for Enterprise Distributed Object Computing, business event model, high level enterprise models, business processes, business data processing, automated tools |
32 | Monique Snoeck, Guido Dedene |
Core Modelling Concepts in Object-Oriented Conceptual Modelling (full paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (38) ![In: TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, Components for Mobile Computing, Zurich, Switzerland, 12-14 March 2001, pp. 170-179, 2001, IEEE Computer Society, 0-7695-1095-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Ying Liu, Naixiao Zhang |
On Concept-Based Definition of Domain-Specific Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 237-248, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Evolving Algebra, Language Concept, Reuse, Domain-Specific Languages, Attribute Grammar, Dynamic Semantics, Static Semantics |
31 | Jan G. Bazan |
Hierarchical Classifiers for Complex Spatio-temporal Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets IX, pp. 474-750, 2008, Springer, 978-3-540-89875-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
complex dynamical system, ontology of concepts, behavioral pattern identification, rough set, automated planning, concept approximation |
31 | Michael Bendersky, W. Bruce Croft |
Discovering key concepts in verbose queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2008, Singapore, July 20-24, 2008, pp. 491-498, 2008, ACM, 978-1-60558-164-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
key concepts extraction, verbose queries, information retrieval |
31 | Chui Yin Wong, Chee-Weng Khong |
Quantifying the Narration Board for Visualising Final Design Concepts by Interface Designers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. Interaction Design and Usability, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 273-282, 2007, Springer, 978-3-540-73104-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Interface Design, Storyboard, design concepts, Narration |
31 | Jonas Boustedt, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Mark Ratcliffe 0001, Kate Sanders 0001, Carol Zander |
Threshold concepts in computer science: do they exist and are they useful? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2007, Covington, Kentucky, USA, March 7-11, 2007, pp. 504-508, 2007, ACM, 1-59593-361-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
learning theory, threshold concepts |
31 | Anthony Bucci, Jordan B. Pollack |
Thoughts on solution concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 434-439, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
later is better, coevolution, bloat, solution concepts, pareto coevolution, coevolutionary algorithm |
31 | Alexander G. Hauptmann, Rong Yan, Wei-Hao Lin |
How many high-level concepts will fill the semantic gap in news video retrieval? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIVR ![In: Proceedings of the 6th ACM International Conference on Image and Video Retrieval, CIVR 2007, Amsterdam, The Netherlands, July 9-11, 2007, pp. 627-634, 2007, ACM, 978-1-59593-733-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
LSCOM, concept-based video retrieval, high-level semantic concepts, semantic gap |
31 | Kyung-Wook Park, Jin-Woo Jeong, Dong-Ho Lee |
OLYBIA: Ontology-Based Automatic Image Annotation System Using Semantic Inference Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Advances in Databases: Concepts, Systems and Applications, 12th International Conference on Database Systems for Advanced Applications, DASFAA 2007, Bangkok, Thailand, April 9-12, 2007, Proceedings, pp. 485-496, 2007, Springer, 978-3-540-71702-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
high-level concepts, semantic inference rules, MPEG-7 visual descriptors, ontologies, semantic gap |
31 | Youjin Chang, Minkoo Kim, Vijay V. Raghavan 0001 |
Construction of query concepts based on feature clustering of documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Retr. ![In: Inf. Retr. 9(3), pp. 231-248, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
concept-based information retrieval, query reformulation, query concepts |
31 | Douglas P. Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine |
Concepts: linguistic support for generic programming in C++. ![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. 291-310, 2006, ACM, 1-59593-348-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
constrained generics, generic programming, concepts, parametric polymorphism, C++0x, C++ templates |
31 | Cynthia S. Hood 0001, Dennis J. Hood |
Teaching programming and language concepts using LEGOs. ![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. 19-23, 2005, ACM, 1-59593-024-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
LEGO®, programming concepts, special purpose language, language design |
31 | Jérémy Besson, Céline Robardet, Jean-François Boulicaut |
Constraint-Based Mining of Formal Concepts in Transactional Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 8th Pacific-Asia Conference, PAKDD 2004, Sydney, Australia, May 26-28, 2004, Proceedings, pp. 615-624, 2004, Springer, 3-540-22064-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
constraint-based data mining, closed sets, Pattern discovery, formal concepts |
29 | Florencio G. Asenjo |
Opposition and Circularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oppositional Concepts in Computational Intelligence ![In: Oppositional Concepts in Computational Intelligence, pp. 45-57, 2008, Springer, 978-3-540-70826-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Prithwijit Guha, Amitabha Mukerjee |
Language Label Learning for Visual Concepts Discovered from Video Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAPCV ![In: Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint, 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007, Hyderabad, India, January 8, 2007, Revised Selected Papers, pp. 91-105, 2007, Springer, 978-3-540-77342-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Pragya Agarwal |
Contested Nature of Place: Knowledge Mapping for Resolving Ontological Distinctions Between Geographical Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIScience ![In: Geographic Information Science, Third International Conference, GIScience 2004, Adelphi, MD, USA, October 20-23, 2004, Proceedings, pp. 1-21, 2004, Springer, 3-540-23558-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Nilesh N. Dalvi, Ravi Kumar 0001, Bo Pang 0001, Raghu Ramakrishnan 0001, Andrew Tomkins, Philip Bohannon, S. Sathiya Keerthi, Srujana Merugu |
A web of concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA, pp. 1-12, 2009, ACM, 978-1-60558-553-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ranking, selection, concepts, extraction |
28 | Peter Øhrstrøm |
Time and Logic: A.N. Prior's Formal Analysis of Temporal Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings, pp. 66-81, 2009, Springer, 978-3-642-01814-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dynamic and static time, A- and B-concepts, A.N. Prior, Temporal logic, tense logic |
28 | Dominik Slezak, Marcin S. Szczuka |
Rough Neural Networks for Complex Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007, Proceedings, pp. 574-582, 2007, Springer, 978-3-540-72529-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Rough Neurons, Multi-Dimensional Neurons, Complex Concepts |
28 | Ruedi Arnold, Marc Langheinrich, Werner Hartmann |
InfoTraffic: teaching important concepts of computer science and math through real-world examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2007, Covington, Kentucky, USA, March 7-11, 2007, pp. 105-109, 2007, ACM, 1-59593-361-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
abstract concepts, fundamental topics, queueing theory, learning environment, propositional logic |
28 | Guozhu Dong, Chunyu Jiang, Jian Pei, Jinyan Li 0001, Limsoon Wong |
Mining Succinct Systems of Minimal Generators of Formal Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advanced Applications, 10th International Conference, DASFAA 2005, Beijing, China, April 17-20, 2005, Proceedings, pp. 175-187, 2005, Springer, 3-540-25334-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
formal concepts, closed itemsets, succinctness, Minimal generators |
28 | Nader H. Bshouty, Sally A. Goldman, H. David Mathias, Subhash Suri, Hisao Tamaki |
Noise-Tolerant Distribution-Free Learning of General Geometric Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 45(5), pp. 863-890, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
geometric concepts, computational learning |
28 | John Esch |
Contexts and Concepts, Abstraction Duals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Current Practices, Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16-20, 1994, Proceedings, pp. 175-184, 1994, Springer, 3-540-58328-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
White Box, Relation Instances, Contexts, Aggregations, Contraction, Concepts, Conceptual Graphs, Expansion, Black Box, Individuals |
27 | Martin Zauner |
CASE - Computer-Aided Systems Engineering, a New Approach for Developing IM-Systems with Special Consideration of CIM Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'93, A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993, Proceedings, pp. 406-417, 1993, Springer, 3-540-57601-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
active database management systems, client/server concepts, CIM concept, IM concepts, right-sizing, prototyping, open systems, RDBMS |
27 | Don L. McLeish |
Antithetic and Negatively Associated Random Variables and Function Maximization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oppositional Concepts in Computational Intelligence ![In: Oppositional Concepts in Computational Intelligence, pp. 29-44, 2008, Springer, 978-3-540-70826-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Shahryar Rahnamayan, Hamid R. Tizhoosh |
Differential Evolution Via Exploiting Opposite Populations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oppositional Concepts in Computational Intelligence ![In: Oppositional Concepts in Computational Intelligence, pp. 143-160, 2008, Springer, 978-3-540-70826-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Simon Kramer 0001 |
Logical concepts in cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 38(4), pp. 65-66, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
applied formal logic, information security |
27 | Dick A. C. Quartel, Remco M. Dijkman, Marten van Sinderen |
Extending Profiles with Stereotypes for Composite Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings, pp. 232-247, 2005, Springer, 3-540-29010-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Christian S. Jensen, James Clifford, Ramez Elmasri, Shashi K. Gadia, Patrick J. Hayes, Sushil Jajodia |
A Consensus Glossary of Temporal Database Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 23(1), pp. 52-64, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Clare Davies |
Are Places Concepts? Familarity and Expertise Effects in Neighborhood Cognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory, 9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings, pp. 36-50, 2009, Springer, 978-3-642-03831-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
vague extents, urban spatial cognition, concepts, expertise, place, neighborhood |
26 | Lech Polkowski |
Mereological Theories of Concepts in Granular Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Sci. ![In: Transactions on Computational Science II, pp. 30-45, 2008, Springer, 978-3-540-87562-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
mereological theory of concepts, granular computing, approximate reasoning |
26 | Kate Sanders 0001, Lynda Thomas |
Checklists for grading object-oriented CS1 programs: concepts and misconceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2007, Dundee, Scotland, UK, June 25-27, 2007, pp. 166-170, 2007, ACM, 978-1-59593-610-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
object-oriented concepts, assessment, CS1, empirical research, misconceptions |
26 | Rosa I. Arriaga, Santosh S. Vempala |
An algorithmic theory of learning: Robust concepts and random projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 63(2), pp. 161-182, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Robust concepts, Learning, Cognition, Random projection |
26 | Gabriel Dos Reis, Bjarne Stroustrup |
Specifying C++ concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 295-308, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
C++ concepts, type systems, generic programming, separate compilation, C++ templates |
26 | Anna Eckerdal, Robert McCartney, Jan Erik Moström, Mark Ratcliffe 0001, Kate Sanders 0001, Carol Zander |
Putting threshold concepts into context in computer science education. ![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. 103-107, 2006, ACM, 1-59593-055-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
constructivism, threshold concepts, education research |
26 | Grant Braught |
Teaching empirical skills and concepts in computer science using random walks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005, St. Louis, Missouri, USA, February 23-27, 2005, pp. 41-45, 2005, ACM, 1-58113-997-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
empirical concepts, empirical skills, turtle graphics, random walk |
26 | Grant Braught, Craig S. Miller, David W. Reed |
Core empirical concepts and skills for computer science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2004, Norfolk, Virginia, USA, March 3-7, 2004, pp. 245-249, 2004, ACM, 1-58113-798-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
empirical concepts, empirical skills |
26 | Xiaofeng Gong, Julian Newman |
The Role of Deontic Concepts and Commitment in the Policy Specification of Mobile Computing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES, WORM, WMS, and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003, Proceedings, pp. 807-815, 2003, Springer, 3-540-20494-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
deontic concepts, speech acts oriented communication, mobile computing, Commitment, commitments, security policy specification |
26 | Luis Talavera, Javier Béjar |
Generality-Based Conceptual Clustering with Probabilistic Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 23(2), pp. 196-206, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
probabilistic concepts, hierarchical clustering, user interaction, Conceptual clustering |
26 | Massimiliano Carrara, Pierdaniele Giaretta |
Identity criteria and sortal concepts. ![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. 234-243, 2001, ACM, 1-58113-377-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
conceptualisation, identity criteria, sortal concepts, ontologies, knowledge bases |
26 | Sadok Ben Yahia, Khedija Arour, Ali Jaoua |
Completing Missing Values Using Discovered Formal Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings, pp. 741-751, 2000, Springer, 3-540-67978-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Relational database, Knowledge discovery, Signature, Missing values, Formal concepts, Galois lattice |
26 | Franck Xia |
On The Danger Of Developing Measures Without Clarifying Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 5th Asia-Pacific Software Engineering Conference (APSEC '98), 2-4 December 1998, Taipei, Taiwan, ROC, pp. 86-, 1998, IEEE Computer Society, 0-8186-9183-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
quality concepts, Software measures, definition, research methodology |
25 | Atif Mashkoor, Qing Wang 0002, Bernhard Thalheim (eds.) |
Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![College Publications, 978-1-84890-276-3 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
Closing the gap between the specification and the implementation: the ASMETA way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 242-263, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Alexander Bienemann |
Misunderstandings and Their Overwhelming Success. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 330-335, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Attila Sali |
Recent Developments in Armstrong Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 311-329, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Bernhard Thalheim |
Normal Models and Their Modelling Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 44-74, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Antje Raab-Düsterhöft |
Integrating Social Media Information into the Digital Forensic Investigation Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 29-43, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres |
Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 92-121, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Andreea Buga, Sorana Tania Nemes, Atif Mashkoor |
Addressing Client Needs for Cloud Computing using Formal Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 264-285, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Jean-Pierre Jacquot, Atif Mashkoor |
The Role of Validation in Refinement-Based Formal Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 202-219, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Hui Ma 0001, Zhaojiang Chang, Alexandre Sawczuk da Silva, Sven Hartmann |
QoS-Aware Web Service Composition Using Graph Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 336-351, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Sven Hartmann, Markus Kirchberg, Henning Koehler, Uwe Leck, Sebastian Link |
Extremal Combinatorics of SQL Keys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 75-91, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Ajantha Dahanayake, Bernhard Thalheim |
Development of Conceptual Models and the Knowledge Background Provided by the Rigor Cycle in Design Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 3-28, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Verena Geist, Felix Kossak, Christine Natschläger, Christa Illibauer, Thomas Ziebermayr, Atif Mashkoor |
Hagenberg Business Process Modelling Method - Towards a Homogeneous Framework for Integrating Process, Actor, Dialogue, and Data Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 220-241, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Richard Banach, Wen Su |
Cyberphysical Systems: A Behind-the-Scenes Foundational View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 177-201, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Yannic Ole Kropp, Bernhard Thalheim |
Viewpoint-Oriented Data Management in Collaborative Research Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 146-176, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Stephen J. Hegner |
Tolerant Constraint-Preserving Snapshot Isolation: Extended Concurrency for Interactive Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models: Concepts, Theory, Logic, Reasoning and Semantics ![In: Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday, pp. 122-145, 2018, College Publications, 978-1-84890-276-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Valentina Emilia Balas, Iulia M. Motoc, Alina Barbulescu |
Combined Haar-Hilbert and Log-Gabor Based Iris Encoders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Concepts and Applications in Soft Computing ![In: New Concepts and Applications in Soft Computing, pp. 1-26, 2013, Springer, 978-3-642-28958-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Alex Tormási, János Botzheim |
Single-Stroke Character Recognition with Fuzzy Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Concepts and Applications in Soft Computing ![In: New Concepts and Applications in Soft Computing, pp. 27-46, 2013, Springer, 978-3-642-28958-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Tudor Barbu, Mihaela Costin, Adrian Ciobanu |
An Unsupervised Content-Based Image Recognition Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Concepts and Applications in Soft Computing ![In: New Concepts and Applications in Soft Computing, pp. 157-164, 2013, Springer, 978-3-642-28958-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Hsunhsun Chung |
Application of Approximate Reasoning Using Triangular and Sine-curved Membership Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Concepts and Applications in Soft Computing ![In: New Concepts and Applications in Soft Computing, pp. 141-155, 2013, Springer, 978-3-642-28958-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Dragan G. Radojevic |
Real-Valued Implication as Generalized Boolean Polynomial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Concepts and Applications in Soft Computing ![In: New Concepts and Applications in Soft Computing, pp. 57-69, 2013, Springer, 978-3-642-28958-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Eugen Ioan Gergely, Laura Coroiu, Helga Maria Silaghi |
Dependability Analysis of PLC I/O Systems Used in Critical Industrial Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Concepts and Applications in Soft Computing ![In: New Concepts and Applications in Soft Computing, pp. 201-217, 2013, Springer, 978-3-642-28958-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Cornelia Györödi, Robert Györödi, Mihai Dersidan, George Pecherle, Livia Bandici |
An Improved Hebbian Neural Network with Dynamic Neuronal Life and Relations and Its Connection to a Decision Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Concepts and Applications in Soft Computing ![In: New Concepts and Applications in Soft Computing, pp. 165-174, 2013, Springer, 978-3-642-28958-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Toma-Leonida Dragomir, Flavius-Maxim Petcut, Adrian Korodi |
Reference Value Generator of Maximum Power Point Coordinates of the Photovoltaic Panel External Characteristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Concepts and Applications in Soft Computing ![In: New Concepts and Applications in Soft Computing, pp. 71-96, 2013, Springer, 978-3-642-28958-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Alina Madalina Lonea, Huaglory Tianfield, Daniela E. Popescu |
Identity Management for Cloud Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Concepts and Applications in Soft Computing ![In: New Concepts and Applications in Soft Computing, pp. 175-199, 2013, Springer, 978-3-642-28958-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Viorel Nicolau |
Sound Speed Estimation Using Fuzzy Logic Approach for Outdoor Ultrasonic Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Concepts and Applications in Soft Computing ![In: New Concepts and Applications in Soft Computing, pp. 119-139, 2013, Springer, 978-3-642-28958-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Tudor Barbu, Mihaela Costin, Adrian Ciobanu |
Color-Based Image Retrieval Approaches Using a Relevance Feedback Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Concepts and Applications in Soft Computing ![In: New Concepts and Applications in Soft Computing, pp. 47-55, 2013, Springer, 978-3-642-28958-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Hooman Tahayori, Alireza Sadeghian |
Shadowed Fuzzy Sets: A Framework with More Freedom Degrees for Handling Uncertainties Than Interval Type-2 Fuzzy Sets and Lower Computational Complexity Than General Type-2 Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Concepts and Applications in Soft Computing ![In: New Concepts and Applications in Soft Computing, pp. 97-117, 2013, Springer, 978-3-642-28958-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Bonevac |
A History of Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic: A History of its Central Concepts ![In: Logic: A History of its Central Concepts, pp. 63-126, 2012, Elsevier, 978-0-444-52937-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Conrad Asmus, Greg Restall |
A History of The Consequence Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic: A History of its Central Concepts ![In: Logic: A History of its Central Concepts, pp. 11-61, 2012, Elsevier, 978-0-444-52937-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Amirouche Moktefi, Sun-Joo Shin |
A History of Logic Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic: A History of its Central Concepts ![In: Logic: A History of its Central Concepts, pp. 611-682, 2012, Elsevier, 978-0-444-52937-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | John Woods |
A History of the Fallacies in Western Logic1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic: A History of its Central Concepts ![In: Logic: A History of its Central Concepts, pp. 513-610, 2012, Elsevier, 978-0-444-52937-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Simo Knuuttila |
A History of Modal Traditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic: A History of its Central Concepts ![In: Logic: A History of its Central Concepts, pp. 309-339, 2012, Elsevier, 978-0-444-52937-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Francis Jeffry Pelletier, Allen P. Hazen |
A History of Natural Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic: A History of its Central Concepts ![In: Logic: A History of its Central Concepts, pp. 341-414, 2012, Elsevier, 978-0-444-52937-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Bonevac, Josh Dever |
A History of The Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic: A History of its Central Concepts ![In: Logic: A History of its Central Concepts, pp. 175-233, 2012, Elsevier, 978-0-444-52937-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Fairouz Kamareddine, Twan Laan, Rob Nederpelt |
A History of Types*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic: A History of its Central Concepts ![In: Logic: A History of its Central Concepts, pp. 451-511, 2012, Elsevier, 978-0-444-52937-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Jean-Yves Béziau |
A History of Truth-Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic: A History of its Central Concepts ![In: Logic: A History of its Central Concepts, pp. 235-307, 2012, Elsevier, 978-0-444-52937-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Dov M. Gabbay, Francis Jeffry Pelletier, John Woods 0001 |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic: A History of its Central Concepts ![In: Logic: A History of its Central Concepts, 2012, Elsevier, 978-0-444-52937-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | J. L. Speranza, Laurence R. Horn |
History of Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic: A History of its Central Concepts ![In: Logic: A History of its Central Concepts, pp. 127-173, 2012, Elsevier, 978-0-444-52937-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Storrs McCall |
A History Of Connexivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic: A History of its Central Concepts ![In: Logic: A History of its Central Concepts, pp. 415-449, 2012, Elsevier, 978-0-444-52937-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Hans Hagen (eds.) |
Scientific Visualization: Advanced Concepts ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientific Visualization: Advanced Concepts ![Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 978-3-939897-19-4 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
25 | Tamito Kajiyama, Akira Nukada, Reiji Suda, Hidehiko Hasegawa, Akira Nishida |
Toward Automatic Performance Tuning for Numerical Simulations in the SILC Matrix Computation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Automatic Tuning, From Concepts to State-of-the-Art Results ![In: Software Automatic Tuning, From Concepts to State-of-the-Art Results, pp. 175-192, 2010, Springer, 978-1-4419-6934-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Reiji Suda |
A Bayesian Method of Online Automatic Tuning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Automatic Tuning, From Concepts to State-of-the-Art Results ![In: Software Automatic Tuning, From Concepts to State-of-the-Art Results, pp. 275-293, 2010, Springer, 978-1-4419-6934-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | R. Clint Whaley |
ATLAS Version 3.9: Overview and Status. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Automatic Tuning, From Concepts to State-of-the-Art Results ![In: Software Automatic Tuning, From Concepts to State-of-the-Art Results, pp. 19-32, 2010, Springer, 978-1-4419-6934-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 30049 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|