|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 25171 occurrences of 8878 keywords
|
|
|
Results
Found 50068 publication records. Showing 50068 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Elizabeth Jayne Stuart, J. S. Weston |
PAVE: parallel algorithms visually explored, a prototype tool for the investigation of data structures in parallel numerical iterative algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 522-528, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
PAVE, parallel algorithms visually explored, parallel numerical iterative algorithms, prototype algorithm, parallel algorithms, data structures, data structures, data visualisation, array processor, prototype tool |
22 | Rolf-Dieter Bippus, Volker Märgner |
Data structures and tools for document database generation: an experimental system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 711-714, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
document database generation, uniform document database, database creation, INSEGD, data structures, data structures, document analysis, labelling, document structure, interactive segmentation |
22 | Ing-Ray Chen, Sayed Atef Banawan |
Modeling and Analysis of Concurrent Maintenance Policies for Data Structures Using Pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(9), pp. 902-911, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
concurrent maintenance policies, state reduction method, two-dimensional Markov model, one-dimensional Markov model, concurrent data structure maintenance policies, service time per operation, priority allocation functions, binary tree data structure, 1D Markov model, 2D Markov model, performance evaluation, performance analysis, data structures, software maintenance, Markov processes, tree data structures, pointers, closed form expression |
22 | Wu Wang, S. Sitharama Iyengar |
Efficient Data Structures for Model-Based 3-D Object Recognition and Localization from Range Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(10), pp. 1035-1045, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
surface characterization, computer vision, data structures, data structures, knowledge representation, knowledge representation, knowledge based systems, knowledge based systems, knowledge acquisition, image recognition, image recognition, vision, range images, 3D object recognition, CAD models, free-form surfaces |
22 | Gopalakrishnan Vijayan |
Generalization of Min-Cut Partitioning to Tree Structures and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(3), pp. 307-314, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
min-cut partitioning, hyperedges, VLSI design applications, iterative improvement heuristic, routing, computational complexity, data structures, trees (mathematics), hypergraph, minimisation, minimisation, tree structures, vertices, cost function, nodes, pins |
22 | Kazuyuki Tsuda, Kensaku Yamamoto, Masahito Hirakawa, Minoru Tanaka, Tadao Ichikawa |
MORE: An Object-Oriented Data Model with a Facility for Changing Object Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(4), pp. 444-460, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
MORE, database specification, classtype, user-defined type, class descriptions, data structures, message passing, object-oriented databases, object-oriented data model, object structures |
22 | Krishna Kant 0001, A. Ravichandran |
Synthesizing Robust Data STructures - An Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(2), pp. 161-173, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
robust data structures, data elements, concurrent repair, disjoint portions, databases, data structures, fault tolerant computing, synthesis, trees (mathematics), first-order logic, B-trees, attributes, axioms, formal approach |
22 | Ming-Feng Chang, Weiping Shi, W. Kent Fuchs |
Optimal Diagnosis Procedures for k-out-of-n Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(4), pp. 559-564, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
optimal diagnosis procedures, k-out-of-n structures, repairable VLSI, WSI structures, online repair, offline repair, VLSI, integrated circuit testing, simulation results, compact representation, electronic engineering computing |
22 | Jik H. Chang, Oscar H. Ibarra, Moon-Jung Chung, Kotesh K. Rao |
Systolic Tree Implementation of Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(6), pp. 727-735, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
systolic tree implementation, dequeues, unit response time, unit pipeline interval, data elements, data structures, data structures, queueing theory, trees (mathematics), queues, stacks, data transmission, dictionary machines |
21 | Michel Wermelinger |
Conceptual Graphs and First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Applications, Implementation and Theory, Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, California, USA, August 14-18, 1995, Proceedings, pp. 323-337, 1995, Springer, 3-540-60161-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Key phrases logical foundations of Conceptual Structures, logical axioms, higher-order types, meta-level reasoning, operator, inference rules |
21 | Michel Wermelinger, José Gabriel Lopes |
An X-Windows Toolkit for Knowledge Acquisition and Representation Based on Conceptual Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Conceptual Graphs ![In: Conceptual Structures: Theory and Implementation, 7th Annual Workshop, Las Cruces, NM, USA, July 8-10, 1992, Proceedings, pp. 262-271, 1992, Springer, 3-540-57454-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
knowledge representation, natural language processing, graphical interfaces, conceptual structures |
21 | Sam Bryfczynski |
OrganicPad: a tablet PC based chemistry tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 46th Annual Southeast Regional Conference, 2008, Auburn, Alabama, USA, March 28-29, 2008, pp. 523-524, 2008, ACM, 978-1-60558-105-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Heather D. Pfeiffer, Roger T. Hartley |
A Comparison of Different Conceptual Structures Projection Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Knowledge Architectures for Smart Applications, 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings, pp. 165-178, 2007, Springer, 978-3-540-73680-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler |
Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Knowledge Architectures for Smart Applications, 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings, pp. 464-467, 2007, Springer, 978-3-540-73680-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Mary Keeler |
Revelator Game of Inquiry: A Peircean Challenge for Conceptual Structures in Application and Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Knowledge Architectures for Smart Applications, 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings, pp. 443-459, 2007, Springer, 978-3-540-73680-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Pascal Hitzler, Guo-Qiang Zhang 0001 |
A Cartesian Closed Category of Approximable Concept Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures at Work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004. Proceedings, pp. 170-185, 2004, Springer, 3-540-22392-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Robert Levinson |
Symmetry and the Computation of Conceptual Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Logical, Linguistic, and Computational Issues, 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000, Proceedings, pp. 496-509, 2000, Springer, 3-540-67859-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Leroy Searle, Mary Keeler, John F. Sowa, Harry S. Delugach, Dickson Lukose |
Fulfilling Pierce's Dream: Conceptual Structures and Communities of Inquiry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Fulfilling Peirce's Dream, Fifth International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997, Proceedings, pp. 1-11, 1997, Springer, 3-540-63308-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Andrew Fall |
Spanning Tree Representations of Graphs and Orders in Conceptual Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Applications, Implementation and Theory, Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, California, USA, August 14-18, 1995, Proceedings, pp. 232-246, 1995, Springer, 3-540-60161-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | James D. Roberts |
A New Parallelization of Subgraphs Isomorphism Refinement for Classification and Retrieval of Conceptual Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Applications, Implementation and Theory, Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, California, USA, August 14-18, 1995, Proceedings, pp. 202-216, 1995, Springer, 3-540-60161-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Michel Wermelinger, José Gabriel Lopes |
Basic Conceptual Structures Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Current Practices, Second International Conference on Conceptual Structures, ICCS '94, College Park, Maryland, USA, August 16-20, 1994, Proceedings, pp. 144-159, 1994, Springer, 3-540-58328-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Key phrases formalization of CS theory, higher-order concept and relation types, type and marker hierarchies, metalevel and instance level |
21 | Peyman Afshani, Chris H. Hamilton, Norbert Zeh |
A general approach for cache-oblivious range reporting and approximate range counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 25th ACM Symposium on Computational Geometry, Aarhus, Denmark, June 8-10, 2009, pp. 287-295, 2009, ACM, 978-1-60558-501-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
data structures, memory hierarchies, range searching, cache-obliviousness |
21 | Vinod Vaikuntanathan, Arvind Narayanan, K. Srinathan, C. Pandu Rangan, Kwangjo Kim |
On the Power of Computational Secret Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2003, 4th International Conference on Cryptology in India, New Delhi, India, December 8-10, 2003, Proceedings, pp. 162-176, 2003, Springer, 3-540-20609-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
computationally bounded players, monotone P, Secret sharing, access structures |
21 | Verónica Dahl |
On Implicit Meanings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic: Logic Programming and Beyond ![In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pp. 506-525, 2002, Springer, 3-540-43960-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
elision, parallel structures, datalog grammars, bottom-up parsing, left-corner parsing, chart parsing, linear affine implication, prediction, coordination, logic grammars, hypothetical reasoning |
21 | Chen Tian 0002, Min Feng 0001, Rajiv Gupta 0001 |
Supporting speculative parallelization in the presence of dynamic data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 62-73, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
multicore processors, speculative parallelization |
21 | Norihiro Kakukou, Takahiro Ogawa 0001, Miki Haseyama |
An effective detection method of rotational and divergent structures in still images based on Helmholtz decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the International Conference on Image Processing, ICIP 2008, October 12-15, 2008, San Diego, California, USA, pp. 2336-2339, 2008, IEEE, 978-1-4244-1765-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Tetsuo Shibuya |
Geometric Suffix Tree: A New Index Structure for Protein 3-D Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006, Proceedings, pp. 84-93, 2006, Springer, 3-540-35455-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Albert Atserias, Anuj Dawar, Martin Grohe |
Preservation Under Extensions on Well-Behaved Finite Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings, pp. 1437-1449, 2005, Springer, 3-540-27580-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Achim Blumensath, Erich Grädel |
Finite Presentations of Infinite Structures: Automata and Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 37(6), pp. 641-674, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Jan Krajícek |
Combinatorics of first order structures and propositional proof systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(4), pp. 427-441, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Hiroshi Matsui, Kengo Sato, Yasubumi Sakakibara |
Pair Stochastic Tree Adjoining Grammars for Aligning and Predicting Pseudoknot RNA Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: 3rd International IEEE Computer Society Computational Systems Bioinformatics Conference, CSB 2004, Stanford, CA, USA, August 16-19, 2004, pp. 290-299, 2004, IEEE Computer Society, 0-7695-2194-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi |
Equivalent Transformation by Safe Extension of Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, pp. 140-148, 2001, Springer, 3-540-43075-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Paola Bonizzoni |
A Tight Lower Bound for Primitivity in k-Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings, pp. 556-567, 1994, Springer, 3-540-58201-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | K. S. Arun, D. R. Wagner |
High-speed digital filtering: Structures and finite wordlength effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 4(4), pp. 355-370, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li |
A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings, pp. 178-190, 2007, Springer, 978-3-540-73813-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
value passing CCS, valued stable event structures, valued labeled configuration structures, semantics, action refinement |
20 | Siegfried Nijssen, Joost N. Kok |
A quickstart in frequent structure mining can make a difference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Seattle, Washington, USA, August 22-25, 2004, pp. 647-652, 2004, ACM, 1-58113-888-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
graphs, structures, semi-structures, frequent item sets |
20 | Wolfgang Lindner 0001, Henrike Berthold, Frank Binkowski, Andreas Heuer 0001, Klaus Meyer-Wegener |
Enabling Hypermedia Videos in Multimedia Database Systems Coupled with Realtime Media Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 2000 International Database Engineering and Applications Symposium, IDEAS 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings, pp. 327-336, 2000, IEEE Computer Society, 0-7695-0789-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
hypermedia videos, real time media servers, standard structured data, distinct systems, multimedia DBMS, hypermedia link anchors, client software, video playout, update processing, metadata, query processing, video stream, multimedia databases, continuous media, structured data, multimedia database systems, integrated management, video data, local structures, time-dependent data, MMDBS, media servers, hypermedia structures |
20 | Alexandre A. B. Lima, Claudio Esperança, Marta Mattoso |
A Parallel Spatial Join Framework Using PMR-Quadtrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 889-893, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
parallel spatial join, PMR-quadtrees, dynamic load balance strategy, persistent object structures, object oriented database server, data structures, spatial databases, visual databases |
20 | Karsten Schulz, Zoran Milosevic |
Architecting Cross-Organisational B2B Interactions. ![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. 92-101, 2000, IEEE Computer Society, 0-7695-0865-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
cross-organisational B2B interaction architecting, business procedures, electronic interconnectivity, workflow standards bodies, competitive edge, inter-organisational aspects, private business processes, shared business processes, interaction points, shared processes, process tasks, modelling ideas, data structures, business processes, confidentiality, workflow management systems, IT systems, process automation, process orientation, workflow management software, internal structures |
20 | Javier Ruiz-del-Solar, Daniel Kottow |
ASGCS: A New Self-Organizing Network for Automatic Selection of Feature Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Engineering Applications of Bio-Inspired Artificial Neural Networks, International Work-Conference on Artificial and Natural Neural Networks, IWANN '99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume II, pp. 805-813, 1999, Springer. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Adaptive-Subspace Self-Organizing Map (ASSOM), Growing Cell Structures (GCS), Adaptive-Subspace Growing Cell Structures (ASGCS), Automatic features extraction, Gabor-Filters |
20 | Ronan Gaugne |
A Static Analysis for Program Understanding and Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 297-298, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
static pointer analysis technique, C subset, user-defined assertions, static assertions, hypothetical assertions, circular structures, reverse engineering, program understanding, program debugging, automatic verification, assumptions, recursive data structures |
20 | Matthias Baaz, Christian G. Fermüller |
Intuitionistic Counterparts of Finitely-Valued Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 26th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1996, Santiago de Compostela, Spain, May 29-31, 1996, Proceedings, pp. 136-143, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Kripke's model structures, finitely-valued logics, classical sequent calculus, cut-free complete, calculi, syntactical restriction, process algebra, multivalued logic, intuitionistic logic, Kripke structures |
20 | Vipin Chaudhary, Cheng-Zhong Xu 0001, Sumit Roy 0002, Jialin Ju, V. Sinha, Laiwu Luo |
Design and evaluation of an environment APE for automatic parallelization of programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 77-83, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
compiler system, SUIF compiler, parallel distribution, unstructured data structures, parallel programming, data structures, programming environments, automatic parallelization, parallelising compilers, parallelizing loops, APE |
20 | Hashim M. Twaakyondo, Masayuki Okamoto |
Structure analysis and recognition of mathematical expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume I, pp. 430-437, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
two-dimensional layout structures, specific structure analysis, subexpressions, printed journals, image recognition, document image processing, structure analysis, tree structure, mathematical expressions, structure recognition, local structures, top-down method, bottom-up method |
20 | Sushil K. Prasad, Sajal K. Das 0001, Calvin Ching-Yuen Chen |
Efficient EREW PRAM Algorithms for Parentheses-Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(9), pp. 995-1008, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
EREW PRAM algorithms, parentheses-matching, polylog-time parallel algorithms, exclusive-read and exclusive-write, parallelrandom-access machine, input string, working space, time-optimal algorithms, pattern recognition, parallel algorithms, computational complexity, data structures, data structures, parallel machines, time complexity, arrays, space complexity, random-access storage, PRAM model |
20 | Ping Liang, Clifford H. Taubes |
Orientation-Based Differential Geometric Representations for Computer Vision Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(3), pp. 249-258, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
orientation-based differential geometric representations, extended Gaussian image, support-function-based representation, generalized Gaussian image, global descriptors, linked data structures, computer vision, computer vision, data structures, image sequences, matching, vectors, uniqueness, invariant properties, storage requirement, smooth surfaces |
20 | Gerald M. Karam |
Computational Improvements in Prolog Applications by Predicate Variable Pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(5), pp. 490-497, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
structure-oriented operations, Warren, computational improvements, Prolog applications, predicate variable pointers, clause-oriented operations, uninstantiated variables, built-in predicates, C-Prolog, symbol table dictionary, pseudo-Pascal compiler, computational complexity, data structures, data structures, PROLOG, logical implications, performance benefits |
20 | Karen Shannon, Richard T. Snodgrass |
Mapping the Interface Description Language Type Model into C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(11), pp. 1333-1346, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Interface Description Language type model, C data structures, macro definitions, type safe, data structures, mapping, efficiency, programming environment, programming environments, high level languages, C language, ease of use, IDL, preprocessor, cooperating processes, run-time efficient |
20 | Peyman Afshani, Lars Arge, Kasper Dalgaard Larsen |
Orthogonal range reporting: query lower bounds, optimal structures in 3-d, and higher-dimensional improvements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 26th ACM Symposium on Computational Geometry, Snowbird, Utah, USA, June 13-16, 2010, pp. 240-246, 2010, ACM, 978-1-4503-0016-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
orthogonal range reporting, pointer machine, data structures, lower bounds |
20 | Dinh Anh Nguyen, Koichiro Doi, Akihiro Yamamoto |
Discovering the Structures of Open Source Programs from Their Developer Mailing Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009, pp. 227-241, 2009, Springer, 978-3-642-04746-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
open source programs, extraction of structures, concept lattice, mailing lists |
20 | Petr Krajca, Vilém Vychodil |
Comparison of Data Structures for Computing Formal Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence, 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009. Proceedings, pp. 114-125, 2009, Springer, 978-3-642-04819-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
performance, algorithms, data structures, formal concept analysis, comparison |
20 | Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur |
Sharing analysis of arrays, collections, and recursive structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008, pp. 43-49, 2008, ACM, 978-1-60558-382-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
shared structures, parallelism, shape analysis |
20 | Nils Anders Danielsson |
Lightweight semiformal time complexity analysis for purely functional data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 133-144, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
amortised time complexity, purely functional data structures, dependent types, lazy evaluation |
20 | Jakita Owensby Thomas, Lisa Kreeger |
Unhelpful helpers: when scaffolding structures veil collaborative interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, Florence, Italy, April 5-10, 2008, pp. 2583-2586, 2008, ACM, 978-1-60558-012-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
collaborative interactions and exchanges, collaborative software tools, scaffold structures, unhelpful helping, veiling, design, collaboration, work practices, scaffolding |
20 | Joseph Feller, Patrick Finnegan, Jeremy Hayes, Philip O'Reilly |
Governance Structures for Open Innovation: A Preliminary Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open IT-Based Innovation ![In: Open IT-Based Innovation: Moving Towards Cooperative IT Transfer and Knowledge Diffusion, IFIP TC8 WG 8.6 International Working Conference, October 22-24, 2008, Madrid, Spain, pp. 511-525, 2008, Springer, 978-0-387-87502-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
governance structures, hierarchies, markets, Open innovation, brokerages |
20 | Milan Ceska 0001, Pavel Erlebach, Tomás Vojnar |
Generalised multi-pattern-based verification of programs with linear linked structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 19(3), pp. 363-374, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Dynamic linked data structures, Formal verification, Program analysis |
20 | Cyril Gavoille |
Distributed Data Structures: A Survey on Informative Labeling Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2006, 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings, pp. 38, 2006, Springer, 3-540-37791-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
data-structures, distributed algorithm, graphs, labeling scheme |
20 | Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta |
Automatic Verification of Parameterized Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings, pp. 27-41, 2006, Springer, 3-540-33056-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Parameterized correctness, Data structures |
20 | Jason D. Hartline, Edwin S. Hong, Alexander E. Mohr, William R. Pentney, Emily Rocke |
Characterizing History Independent Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 42(1), pp. 57-74, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
History independence, Algorithms, Data structures, Markov chains |
20 | Achuth Sankar S. Nair, T. Mahalakshmi |
Conceptualizing data structures: a pedagogic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 36(4), pp. 97-100, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
visual representation for RAM, data structures, pointers, memory structure |
20 | Francisco Corbera, Rafael Asenjo, Emilio L. Zapata |
A Framework to Capture Dynamic Data Structures in Pointer-Based Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 15(2), pp. 151-166, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
shape graphs, irregular codes, Shape analysis, optimizing compiler, pointers, recursive data structures |
20 | Lars Arge |
The Buffer Tree: A Technique for Designing Batched External Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 37(1), pp. 1-24, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Internal memory algorithms, Batched external data structures, Buffer tree, I/O efficiency |
20 | Sven Helmer, Guido Moerkotte |
A performance study of four index structures for set-valued attributes of low cardinality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 12(3), pp. 244-261, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Set-valued attributes, Database management systems, Physical design, Access methods, Index structures |
20 | Alban Gabillon, Manuel Munier, Jean-Jacques Bascou, Laurent Gallon, Emmanuel Bruno |
An Access Control Model for Tree Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 5th International Conference, ISC 2002 Sao Paulo, Brazil, September 30 - October 2, 2002, Proceedings, pp. 117-135, 2002, Springer, 3-540-44270-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Access Control, Security Policy, Tree Data Structures, Permission, Authorization Rule |
20 | Farn Wang, Karsten Schmidt 0004 |
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings, pp. 50-64, 2002, Springer, 3-540-00141-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
data-structures, Symmetry, symbolic model-checking, pointers |
20 | Christian Böhm 0001, Stefan Berchtold, Daniel A. Keim |
Searching in high-dimensional spaces: Index structures for improving the performance of multimedia databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 33(3), pp. 322-373, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
indexing high-dimensional data, similarity search, multimedia databases, Index structures |
20 | Katherine A. Liapi |
A Visualization Method for the Morphological Exploration of Tensegrity Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 2001, London, England, UK, July 25-27, 2001, pp. 523-528, 2001, IEEE Computer Society, 0-7695-1195-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Tensegrity structures, geometric configuration, tensegrity visualization, morphology |
20 | Nataly S. Moskaljova, Irina B. Virbitskaite |
On the Category of Event Structures with Dense Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001, Proceedings, pp. 287-298, 2001, Springer, 3-540-42487-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
timed event structures, timed bisimulation, category theory |
20 | Roderick David Swift, Krishnan Ramaswamy, William E. Higgins |
Adaptive Axes-Generation Algorithm for 3D Tubular Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 136-139, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
adaptive axes-generation algorithm, 3D tubular structures, 3D radiologic images, pulmonary airways, colon, automated navigation, true gray-scale information, virtual-endoscopic system, human lung-cancer case, manual-axes identification techniques, time-consuming error-prone techniques, anatomic structural information, gray-scale information, medical diagnostic imaging, lung, coronary arteries |
20 | Sharon C. Salveter |
Inferring Conceptual Structures From Pictorial Input. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (1) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I, pp. 414-420, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Learning, Knowledge representation, Natural language processing, Inference, Conceptual structures |
20 | Chu Gao, Zhi Ning Chen, YunYi Wang, Ning Yang |
Study on relationships of electromagnetic band gap structures and left/right handed structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 50(2), pp. 251-260, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
electromagnetic band gap structure, right-handed structure, left-handed structure, Brillouin diagram |
20 | Samy Abbes, Albert Benveniste |
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 95-109, 2005, Springer, 3-540-25388-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Corina Cîrstea |
On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings, pp. 82-97, 2002, Springer, 3-540-43366-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Felix H. Gatzemeier, Oliver Meyer 0001 |
Text Schema Mining Using Graphs and Formal Concept Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Integration and Interfaces, 10th International Conference on Conceptual Structures, ICCS 2002, Borovets, Bulgaria, July 15-19, 2002, Proceedings, pp. 107-121, 2002, Springer, 3-540-43901-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Arvind, Rishiyur S. Nikhil, Keshav Pingali |
I-Structures: Data Structures for Parallel Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 11(4), pp. 598-632, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Peter Øhrstrøm, Sara L. Uckelman, Henrik Schärfe |
Historical and Conceptual Foundation of Diagrammatical Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Knowledge Architectures for Smart Applications, 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings, pp. 374-386, 2007, Springer, 978-3-540-73680-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Ontology, diagrammatical reasoning, conceptual structures |
19 | Rudolf F. Albrecht |
On the Structure of Discrete Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings, pp. 3-18, 1995, Springer, 3-540-60748-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Modelling of Discrete Systems, System Theory |
19 | Adil Kabbaj, Karim Bouzoubaa, Khalid El Hachimi, Nabil Ourdani |
Ontologies in Amine Platform: Structures and Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Inspiration and Application, 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings, pp. 300-313, 2006, Springer, 3-540-35893-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Mary Keeler |
Hegel in a Strange Costume: Reconsidering Normative Science for Conceptual Structures Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures for Knowledge Creation and Communication, 11th International Conference on Conceptual Structures, ICCS 2003 Dresden, Germany, July 21-25, 2003 Proceedings, pp. 37-53, 2003, Springer, 3-540-40576-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Claudio Carpineto |
Conceptual Structures in Modern Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Integration and Interfaces, 10th International Conference on Conceptual Structures, ICCS 2002, Borovets, Bulgaria, July 15-19, 2002, Proceedings, pp. 1, 2002, Springer, 3-540-43901-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Peter W. Eklund |
Logic-Based Networks: Concept Graphs and Conceptual Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Logical, Linguistic, and Computational Issues, 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000, Proceedings, pp. 399-420, 2000, Springer, 3-540-67859-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Bernhard Ganter |
Computing with Conceptual Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Logical, Linguistic, and Computational Issues, 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000, Proceedings, pp. 483-495, 2000, Springer, 3-540-67859-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Guy W. Mineau, Gerd Stumme, Rudolf Wille |
Conceptual Structures Represented by Conceptual Graphs and Formal Concept Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Standards and Practices, 7th International Conference on Conceptual Structures, ICCS '99, Blacksburg, Virginia, USA, July 12-15, 1999, Proceedings, pp. 423-441, 1999, Springer, 3-540-66223-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | William M. Tepfenhart |
Ontologies and Conceptual Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS '98, Montpellier, France, August 10-12, 1998, Proceedings, pp. 334-350, 1998, Springer, 3-540-64791-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Klaus Biedermann |
How Triadic Diagrams Represent Conceptual Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Fulfilling Peirce's Dream, Fifth International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997, Proceedings, pp. 304-317, 1997, Springer, 3-540-63308-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Philippe Martin 0004, Laurence Alpay |
Conceptual Structures and Structured Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Knowledge Representation as Interlingua, 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996, Proceedings, pp. 145-159, 1996, Springer, 3-540-61534-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Information Retrieval, Knowledge Acquisition, Document Representation |
19 | Wai Yin Mok, David W. Embley |
Generating Compact Redundancy-Free XML Documents from Conceptual-Model Hypergraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 18(8), pp. 1082-1096, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
XML data redundancy, compact XML storage structures, XML scheme generation |
19 | Guojing Cong, David A. Bader |
Lock-Free Parallel Algorithms: An Experimental Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2004, 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings, pp. 516-528, 2004, Springer, 3-540-24129-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Lock-free Data Structures, High-Performance Algorithm Engineering, Parallel Algorithms, Shared Memory |
19 | Sheikh Iqbal Ahamed |
Experiences in Teaching an Object-oriented Design and Data Structure Course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC ![In: 2003 International Symposium on Information Technology (ITCC 2003), 28-30 April 2003, Las Vegas, NV, USA, pp. 48-52, 2003, IEEE Computer Society, 0-7695-1916-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
teaching a computer science class, algorithms, data structures, object-oriented design |
18 | Makoto Hamana |
Initial Algebra Semantics for Cyclic Sharing Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 127-141, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Dominic Müller, Manfred Reichert, Joachim Herbst, Detlef Köntges, Andreas Neubert |
COREPROSim: A Tool for Modeling, Simulating and Adapting Data-Driven Process Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings, pp. 394-397, 2008, Springer, 978-3-540-85757-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Dominic Müller, Manfred Reichert, Joachim Herbst |
A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 20th International Conference, CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings, pp. 48-63, 2008, Springer, 978-3-540-69533-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Process Coordination, Data-driven Process, Process Adaptation |
18 | Michael T. Goodrich, Jonathan Z. Sun |
Checking Value-Sensitive Data Structures in Sublinear Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings, pp. 353-364, 2007, Springer, 978-3-540-77118-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Hetunandan Kamisetty, Eric P. Xing, Christopher James Langmead |
Free Energy Estimates of All-Atom Protein Structures Using Generalized Belief Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Research in Computational Molecular Biology, 11th Annual International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007, Proceedings, pp. 366-380, 2007, Springer, 3-540-71680-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Decoy Detection, Protein Structure, Probabilistic Graphical Models, Free Energy |
18 | Song Lin, Demetrios Zeinalipour-Yazti, Vana Kalogeraki, Dimitrios Gunopulos, Walid A. Najjar |
Efficient indexing data structures for flash-based sensor devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Storage ![In: ACM Trans. Storage 2(4), pp. 468-503, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Wireless sensor networks, flash memory, access methods |
18 | Hiroshi Ishikawa 0002, Davi Geiger, Richard Cole 0001 |
Finding Tree Structures by Grouping Symmetries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: 10th IEEE International Conference on Computer Vision (ICCV 2005), 17-20 October 2005, Beijing, China, pp. 1132-1139, 2005, IEEE Computer Society, 0-7695-2334-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Siew Kei Lam, Yun Deng, Thambipillai Srikanthan |
Morphable Structures for Reconfigurable Instruction Set Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia-Pacific Computer Systems Architecture Conference ![In: Advances in Computer Systems Architecture, 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings, pp. 450-463, 2005, Springer, 3-540-29643-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Qiankun Zhao, Sourav S. Bhowmick, Sanjay Madria |
Discovering Pattern-Based Dynamic Structures from Versions of Unordered XML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, 6th International Conference, DaWaK 2004, Zaragoza, Spain, September 1-3, 2004, Proceedings, pp. 77-86, 2004, Springer, 3-540-22937-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Daniele Varacca, Hagen Völzer, Glynn Winskel |
Probabilistic Event Structures and Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, pp. 481-496, 2004, Springer, 3-540-22940-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Lars Arge |
External Geometric Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004, Proceedings, pp. 1, 2004, Springer, 3-540-22856-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 50068 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|