|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10233 occurrences of 4804 keywords
|
|
|
Results
Found 20754 publication records. Showing 20754 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Antonio López Jaimes, Carlos A. Coello Coello |
Some techniques to deal with many-objective problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, Companion Material, pp. 2693-2696, 2009, ACM, 978-1-60558-505-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
preference relations, multiobjective optimization, many-objective optimization |
14 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
A declarative semantics for Bousi~Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 149-160, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fuzzy herbrand model, proximity relations, fuzzy logic programming, fixpoint semantics, declarative semantics |
14 | Isabelle Bloch |
Bipolar Fuzzy Mathematical Morphology for Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Mathematical Morphology and Its Application to Signal and Image Processing, 9th International Symposium, ISMM 2009, Groningen, The Netherlands, August 24-27, 2009 Proceedings, pp. 24-34, 2009, Springer, 978-3-642-03612-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bipolar spatial information, bipolar fuzzy dilation and erosion, fuzzy sets, spatial reasoning, spatial relations |
14 | Haytham Elghazel, Khalid Benabdeslem, Hamamache Kheddouci |
McSOM: Minimal Coloring of Self-Organizing Map. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADMA ![In: Advanced Data Mining and Applications, 5th International Conference, ADMA 2009, Beijing, China, August 17-19, 2009. Proceedings, pp. 128-139, 2009, Springer, 978-3-642-03347-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
minimal coloring, neighborhood relations, clustering, Self-organizing map |
14 | Robert C. Kirby, Anders Logg |
Benchmarking Domain-Specific Compiler Optimizations for Variational Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 35(2), pp. 10:1-10:18, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
FErari, FFC, complexity-reducing relations, variational form, optimization, compiler, Finite element method |
14 | Marie-Pierre Béal, Eugen Czeizler, Jarkko Kari, Dominique Perrin |
Unambiguous Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 1(4), pp. 625-638, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
local automata, synchronized automata, unambiguous automata, unambiguous monoids of relations, Automata |
14 | Cengiz Acartürk, Christopher Habel, Kursat Cagiltay |
Multimodal Comprehension of Graphics with Textual Annotations: The Role of Graphical Means Relating Annotations and Graph Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings, pp. 335-343, 2008, Springer, 978-3-540-87729-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
text-graphics comprehension, annotations, temporal relations, line graphs |
14 | Anuj Kumar, Banshi Dhar Chaudhary |
Class synthesis from role collaborations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: Proceeding of the 1st Annual India Software Engineering Conference, ISEC 2008, Hyderabad, India, February 19-22, 2008, pp. 49-56, 2008, ACM, 978-1-59593-917-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
collaborations, consistency, roles, temporal relations |
14 | Maciej Piasecki, Stan Szpakowicz, Michal Marcinczuk, Bartosz Broda |
Classification-Based Filtering of Semantic Relatedness in Hypernymy Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GoTAL ![In: Advances in Natural Language Processing, 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings, pp. 393-404, 2008, Springer, 978-3-540-85286-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
lexical-semantic relations, measures of semantic relatedness, wordnet construction, Polish WordNet, hypernymy extraction, Rank Weight Function, filtering, classifiers, supervised Machine Learning, nouns |
14 | Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan |
Testing Systems Specified as Partial Order Input/Output Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings, pp. 169-183, 2008, Springer, 978-3-540-68514-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Testing distributed systems, conformance relations, partial order automata, HMSC, partial order, finite state automata |
14 | Luigi Santocanale |
On the Join Dependency Relation in Multinomial Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 24(3), pp. 155-179, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Multinomial lattices, Lattice congruences, Lattices of permutations, Binomial lattices, Lattices of paths, Parikh equivalence relations, Dihomotopies |
14 | Jurgen Martens, Ferdi Put, Etienne E. Kerre |
A Fuzzy-neural Resemblance Approach to Validate Simulation Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 11(3), pp. 299-307, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Fuzzy-neural machine learning, Resemblance relations, Simulation, Validation |
14 | Cristina Bazgan, Hadrien Hugot, Daniel Vanderpooten |
An Efficient Implementation for the 0-1 Multi-objective Knapsack Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEA ![In: Experimental Algorithms, 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007, Proceedings, pp. 406-419, 2007, Springer, 978-3-540-72844-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
multi-objective knapsack problem, dynamic programming, combinatorial optimization, efficient solutions, dominance relations |
14 | Cristina Bazgan, Hadrien Hugot, Daniel Vanderpooten |
A Practical Efficient Fptas for the 0-1 Multi-objective Knapsack Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2007, 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings, pp. 717-728, 2007, Springer, 978-3-540-75519-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Multi-objective knapsack problem, dynamic programming, combinatorial optimization, approximation, dominance relations |
14 | Layman E. Allen, Adam W. Tury |
NewMINT interpretation assistance system: United States Constitution First Amendment's initial 1344 interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: The Eleventh International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 4-8, 2007, Stanford Law School, Stanford, California, USA, pp. 161-165, 2007, ACM, 978-1-59593-680-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
NewMINT, ambiguity detection, generative expert system, legal relations language, multiple-interpretion assistance, normalized form |
14 | Jonathan Byrd, Monty Carter, David Cook, Philip Kirkham, Martha J. Kosa |
Solving recurring student problems with recurrences. ![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. 343, 2007, ACM, 978-1-59593-610-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
algorithm analysis, recurrence relations |
14 | Dominik Slezak, Piotr Wasilewski |
Granular Sets - Foundations and Case Study of Tolerance Spaces. ![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. 435-442, 2007, Springer, 978-3-540-72529-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Rough Sets, Granular Computing, Tolerance Relations |
14 | Andrzej Filinski, Kristian Støvring |
Inductive reasoning about effectful data types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 97-110, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
abstract effects, streams, monads, backtracking, logical relations, recursive types, equational reasoning |
14 | Nick Benton, Peter Buchlovsky |
Semantics of an effect analysis for exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007, pp. 15-26, 2007, ACM, 1-59593-393-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
partial equivalence relations, program analysis, types, optimizing compilation, exceptions, denotational semantics, effect systems |
14 | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann 0001 |
Relational semantics for effect-based program transformations with dynamic allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland, pp. 87-96, 2007, ACM, 978-1-59593-769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
region analysis, program transformation, parametricity, logical relations, type and effect systems |
14 | Antoine Rollet, Fares Saad-Khorchef |
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), August 20-22, 2007, Haeundae Grand Hotel, Busan, Korea, pp. 667-674, 2007, IEEE Computer Society, 0-7695-2867-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Robustness relations, Timed Automata, Labelled Transition Systems, Robustness Testing |
14 | Olivier Nempont, Jamal Atif, Elsa D. Angelini, Isabelle Bloch |
Combining Radiometric and Spatial Structural Information in a New Metric for Minimal Surface Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007, Proceedings, pp. 283-295, 2007, Springer, 978-3-540-73272-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
• minimal surface segmentation • level sets • spatial relations • fuzzy knowledge representation |
14 | Christopher A. Stone, Robert Harper 0001 |
Extensional equivalence and singleton types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(4), pp. 676-722, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
equivalence algorithms, logical relations, Singleton types |
14 | Minhua Ma, Paul McKevitt |
Virtual human animation in natural language visualisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 25(1-2), pp. 37-53, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Language visualisation, Virtual human animation, Virtual Reality, Temporal relations, 3D animation |
14 | Le Zhao, Min Zhang 0006, Shaoping Ma |
The nature of novelty detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Retr. ![In: Inf. Retr. 9(5), pp. 521-541, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Overlap relations, Novelty detection, Meanings, TREC |
14 | Ana Cavalcanti 0001, Jim Woodcock 0001, Steve Dunne |
Angelic nondeterminism in the unifying theories of programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 18(3), pp. 288-307, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Semantics, Refinement, Relations, Predicate transformers |
14 | Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson 0001 |
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 524-540, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
partitioned transition relations, clustering, Binary Decision Diagrams, Symbolic model checking, image computation, railway interlockings |
14 | Bettina Törpel |
The design game in participatory design and design education: chances, risks and side effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDC ![In: Proceedings of the Ninth Conference on Participatory Design: Expanding boundaries in design, PDC 2006, Trento, Italy, August 1-5, 2006, pp. 77-86, 2006, ACM, 1-59593-460-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
forms of work and organization, organizational design game, relations of power, socio-technical textures, design game |
14 | Zohair Chentouf, Ahmed Khoumsi |
Presence Interaction Management in SIP SOHO Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006., pp. 93-98, 2006, Springer, 3-540-46219-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
SOHO, Presence interaction (PI) detection and resolution, PI Management Agent (PIMA), PI Management Language (PIML), order relations |
14 | Flemming K. Fink |
From On-Campus Project Organised Problem Based Learning to Facilitated Work Based Learning in Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADVIS ![In: Advances in Information Systems, 4th International Conference, ADVIS 2006, Izmir, Turkey, October 18-20, 2006, Proceedings, pp. 23-33, 2006, Springer, 3-540-46291-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Facilitated Work Based Learning, University-Industry relations, Continuing Professional Development, Problem Based Learning |
14 | Paul Guyot, Alexis Drogoul, Shinichi Honiden |
Power and negotiation: lessons from agent-based participatory simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 27-33, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
power relations, negotiations, agent-based simulations, participatory simulations |
14 | Björn Gottfried |
Collision avoidance with bipartite arrangements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM-KRAS ![In: Proceedings of the 2005 ACM Workshop on Research in Knowledge Representation for Autonomous Systems, KRAS 2005, Bremen, Germany, November 4, 2005, 2005, pp. 9-16, 2005, ACM, 1-59593-202-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
line segment relations, orientation, relation algebra, position, collision avoidance, qualitative spatial reasoning |
14 | Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Martín López Nores, Ana Belén Barragáns-Martínez |
AVATAR: an approach based on semantic reasoning to recommend personalized TV programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Special interest tracks and posters) ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters, pp. 1078-1079, 2005, ACM, 1-59593-051-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
TV recommender system, inference of semantic relations, ontologies, semantic web |
14 | Cathy A. Tabor, Patricia G. DeWalt |
IT open house: what it can do for your organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 33rd Annual ACM SIGUCCS Conference on User Services 2005, Monterey, CA, USA, November 6-9, 2005, pp. 376-379, 2005, ACM, 1-59593-200-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
open house, games, training, team building, public relations |
14 | A. A. Allam, M. Y. Bakeir, El-Sayed A. Abo-Tabl |
New Approach for Basic Rough Set Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC (1) ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I, pp. 64-73, 2005, Springer, 3-540-28653-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
rough sets, similarity relations, Approximation operators, topological space |
14 | Markus Grasmair, Frank Lenzen, Andreas Obereder, Otmar Scherzer, Matthias Fuchs |
A Non-convex PDE Scale Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scale-Space ![In: Scale Space and PDE Methods in Computer Vision, 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005, Proceedings, pp. 303-315, 2005, Springer, 3-540-25547-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Morphological regularization, equivalence relations, diffusion filtering |
14 | Kim Mens, Andy Kellens |
Towards a Framework for Testing Structural Source-Code Regularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 21st IEEE International Conference on Software Maintenance (ICSM 2005), 25-30 September 2005, Budapest, Hungary, pp. 679-682, 2005, IEEE Computer Society, 0-7695-2368-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
structural source-code regularities, intensional views and relations, automated conformance checking, tool support, maintenance and evolution, design documentation |
14 | Eleni Tomai, Marinos Kavouras |
From "Onto-GeoNoesis" to "Onto-Genesis": The Design of Geographic Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoInformatica ![In: GeoInformatica 8(3), pp. 285-302, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ontology generation, axioms, semantic relations, semantic properties, geographic ontologies |
14 | Kenichi Asai |
Offline partial evaluation for shift and reset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004, pp. 3-14, 2004, ACM, 1-58113-835-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
CPS transformation, binding-time analysis (BTA), offline partial evaluation, continuation-passing style (CPS), logical relations, delimited continuations |
14 | Nick Benton |
Simple relational correctness proofs for static analyses and program transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 14-25, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
partial equivalence relations, security, dependency, program analysis, information flow, types, optimizing compilation, denotational semantics, Hoare logic |
14 | Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore |
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 64-76, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Grothendieck logical relations, strong sums, type-directed partial evaluation, typed lambda calculus, normalisation |
14 | Mitchell Wand, Dale Vaillancourt |
Relating models of backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004, pp. 54-65, 2004, ACM, 1-58113-905-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
two-continuation semantics, streams, monads, logical relations, adequacy |
14 | Toru Nakanishi 0001, Yuji Sugiyama |
A Group Signature Scheme with Efficient Membership Revocation for Reasonable Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy: 9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004. Proceedings, pp. 336-347, 2004, Springer, 3-540-22379-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Membership revocation, Zero-knowledge proof of integer relations, Strong RSA assumption, Group signature scheme |
14 | Abdullah Uz Tansel |
Integrity Constraints in Temporal Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Conference on Information Technology: Coding and Computing (ITCC'04), Volume 2, April 5-7, 2004, Las Vegas, Nevada, USA, pp. 460-464, 2004, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Existential Integrity, Temporal Integrity Constraints, Temporal Databases, Integrity Constraints, Temporal Relations, Referential Integrity |
14 | Clara Mancini, Simon Buckingham Shum |
Towards 'cinematic' hypertext. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2004, Proceedings of the 15th ACM Conference on Hypertext and Hypermedia, August 9-13, 2004, Santa Cruz, California, USA, pp. 215-224, 2004, ACM, 1-58113-848-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
cinematic language, cognitive coherence relations, discourse patterns, dynamic visual patterns, hypertext discourse coherence, hypertext languages, visual languages |
14 | Gilles Coppin, Alexandre Skrzyniarz |
Human-Centered Processes: Individual and Distributed Decision Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 18(4), pp. 27-33, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
distributed decision support, human-machine relations, human-centered systems |
14 | Robyn C. Richard, Claire C. Lassalle |
New name, new image: PC help desk steers massive PR launch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 31st Annual ACM SIGUCCS Conference on User Services 2003, San Antonio, TX, USA, September 21-24, 2003, pp. 148-150, 2003, ACM, 1-58113-665-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
brochures, flyers, pamphlets, services, marketing, support, public relations |
14 | Giuseppe Longo |
Computer modelling and natural phenomena. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 1-5, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
computational models in biology, continuous models, digital approximation and discrete data structures, plastiticy and degeneracy in neural systems, unpredictability and undecidability, dynamical systems, causal relations |
14 | Niklas Elmqvist, Philippas Tsigas |
Causality Visualization Using Animated Growing Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOVIS ![In: 9th IEEE Symposium on Information Visualization (InfoVis 2003), 20-21 October 2003, Seattle, WA, USA, pp. 189-196, 2003, IEEE Computer Society, 0-7695-2055-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
information visualization, interactive animation, causal relations |
14 | Arun K. Majumdar, Indrajit Bhattacharya, Amit K. Saha |
An Object-Oriented Fuzzy Data Model for Similarity Detection in Image Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(5), pp. 1186-1189, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
fuzzy data model, spatial and topological relations, Image databases, similarity detection |
14 | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran |
An assume-guarantee rule for checking simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 24(1), pp. 51-64, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
verification rules, Simulation relations |
14 | Lucian Ilie, Sheng Yu 0001 |
Algorithms for Computing Small NFAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings, pp. 328-340, 2002, Springer, 3-540-44040-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
follow relations, invariant equivalences, algorithms, regular expressions, positions, partial derivatives, quotients, nondeterministic finite automata |
14 | Serafino Cicerone, Eliseo Clementini |
Extraction of qualitative information from the weighted walkthroughs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM-GIS ![In: ACM-GIS 2002, Proceedings of the Tenth ACM International Symposium on Advances in Geographic Information Systems, McLean, VA (near Washington, DC), USA, USA, November 8-9, 2002, pp. 137-142, 2002, ACM, 1-58113-591-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
qualitative information, weighted walkthroughs, shape, size, topological relations |
14 | Steven T. Dougherty, Masaaki Harada, Manabu Oura |
Note on the g-fold Joint Weight Enumerators of Self-Dual Codes over Zk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 11(6), pp. 437-445, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
g -fold joint weight enumerators, MacWilliams relations, Self-dual codes |
14 | José Mira, Rafael Martínez-Tomás, José R. Álvarez 0001, Ana E. Delgado García |
DIAGEN-WebDB: A Connectionist Approach to Medical Knowledge Representation and Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Connectionist Models of Neurons, Learning Processes and Artificial Intelligence, 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part I, pp. 772-782, 2001, Springer, 3-540-42235-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
re-usable components (entities, relations and methods), symbolic-connectionist bridge, diagnosis, Knowledge modelling, connectionism |
14 | Christy R. Miller, Gary L. Allen |
Spatial Frames of Reference Used in Identifying Direction of Movement: An Unexpected Turn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory: Foundations of Geographic Information Science, International Conference, COSIT 2001, Morro Bay, CA, USA, September 19-23, 2001, Proceedings, pp. 206-216, 2001, Springer, 3-540-42613-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
spatial perspective, orientation, spatial relations, frames of reference |
14 | Ioannis S. Pantazopoulos, Spyros G. Tzafestas |
An Efficient Algorithm for Ray Tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 28(1-2), pp. 171-180, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
divide-and-conquer technique, transitive-between relations, first hit calculations, light-visibility tests, ray tracing |
14 | Leslie G. Valiant |
A neuroidal architecture for cognitive computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 47(5), pp. 854-882, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
learning relations, robust reasoning, nonmonotonic reasoning, PAC learning, computational learning, cognitive computation |
14 | Ans A. G. Steuten, Frank K. H. A. Dehne, Reind P. van de Riet |
WordNet++: A Lexicon Supporting the Color-X Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language Processing and Information Systems, 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000, Revised Papers, pp. 1-16, 2000, Springer, 3-540-41943-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Linguistic relations, Ontology, Object Orientation, Conceptual Modeling, WordNet, CASE tools, Consistency Checking |
14 | Chris Matthews, Paul A. Swatman |
Fuzzy concepts and formal methods: some illustrative examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 230-, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
fuzzy concepts, problem types, fuzzy logic toolkit, problem domains, soft preconditions, linguistically quantified propositions, modelling, formal specification, formal methods, fuzzy logic, information systems, requirements engineering, uncertainty, specification languages, specification languages, formal modelling, fuzzy set theory, fuzzy set theory, uncertainty handling, fuzzy relations, system requirements, imprecision, Z language |
14 | Andrés Montoyo, Manuel Palomar |
Word Sense Disambiguation with Specification Marks in Unrestricted Texts. ![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. 103-107, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
specification marks, unrestricted texts, automatic disambiguation, noun taxonomy, WordNet lexical knowledge base, Hypernymy, Hyponymy, training process, hand-coding, lexical entries, hand-tagging, Semantic Concordance Corpus, Semcor, electronic encyclopaedia, Microsoft 98 Encarta Encyclopaedia Deluxe, texts, word sense disambiguation, word processing, semantic relations, corpora, hierarchic organization, nouns, lexical ambiguity, English texts |
14 | Mark A. Girolami, Alexei Vinokourov, Ata Kabán |
The Organization and Visualization of Document Corpora: A Probabilistic Approach. ![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. 558-564, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
document corpora visualisation, generic probabilistic framework, unsupervised organisation, probabilistic hierarchical clustering, high-dimensional data collections, expectation maximisation algorithm, hierarchical probabilistic mixture methodology, asymmetric models, symmetric models, topographic relations, similar documents, latent trait model, vector space document representations, 2D grid, document handling, probabilistic approach, latent class models, text data, multinomial distribution, binomial distributions, document collections |
14 | Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini |
Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 207-214, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
IEEE 1394a standard, Root Contention protocol, LPMC, PMC model checker, parameter relations, real-time model checking, parameter timing intervals, real-time systems, protocols, formal verification, randomization, telecommunication standards, linear constraints, IEEE standards, parametric verification |
14 | Sergio Sáez, Joan Vila i Carbó, Alfons Crespo |
Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 145-149, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
aperiodic transactions, hard aperiodic tasks, earliest deadline first algorithm, deadline modifications, dynamically-calculated response times, dynamic slack stealing algorithm, minimal response times, release time constraints, hard aperiodic distributed processes, distributed systems, distributed processing, processor scheduling, release time, precedence relations, periodic tasks scheduling |
14 | Raul Hakli, Matti Nykänen, Hellis Tamm |
Adding String Processing Capabilities to Data Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE ![In: Seventh International Symposium on String Processing and Information Retrieval, SPIRE 2000, A Coruña, Spain, September 27-29, 2000, pp. 122-131, 2000, IEEE Computer Society, 0-7695-0746-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
string theory, string processing capabilities, string-oriented application areas, string processing method, string handling, Alignment Declaration language, string relations, finiteness analysis, database management system, query evaluation, information retrieval systems, data management systems, computational molecular biology |
14 | Byunggu Yu, Ratko Orlandic, Martha W. Evens |
Simple QSF-Trees: An Efficient and Scalable Spatial Access Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 1999 ACM CIKM International Conference on Information and Knowledge Management, Kansas City, Missouri, USA, November 2-6, 1999, pp. 5-14, 1999, ACM, 1-58113-146-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
point access methods, spatial database, database management, topological relations, spatial access methods |
14 | Torfi Thórhallsson, David William Murray 0001 |
The Tensors of Three Affine Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1999 Conference on Computer Vision and Pattern Recognition (CVPR '99), 23-25 June 1999, Ft. Collins, CO, USA, pp. 1450-1456, 1999, IEEE Computer Society, 0-7695-0149-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
unifocal tensor, bifocal tensor, incidence relations, transfer equations, registered tensors, estimation, multiple views, trifocal tensor, affine camera |
14 | Sabine Timpf |
Abstraction, Levels of Detail, and Hierarchies in Map Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT '99, Stade, Germany, August 25-29, 1999, Proceedings, pp. 125-139, 1999, Springer, 3-540-66365-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
abstraction processes, part-whole relations, map series, presentation of spatial information, levels of detail, hierarchies |
14 | Antonio Bucciarelli, Ivano Salvo |
Totality, Definability and Boolean Ciruits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 808-819, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Scott's Model, Logical Relations, Boolean Circuits, PCF |
14 | Timothy K. Shih, Chi-Ming Chung, Chun-Chia Wang, Wen C. Pai |
Decomposition of inheritance hierarchy DAGs for object-oriented software metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 238-245, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
object-oriented software metrics, inheritance hierarchy directed acyclic graph decomposition, unit repeated inheritance, inheritance level technique, graph-theoretical model, hierarchical complexity, inheritance relations, metrics extraction, implicit software errors, software metrics, software quality assurance, class hierarchy, software complexity measurement |
14 | Vittorio Murino, Gian Luca Foresti, Andrea Trucco |
Object Pose Estimation in Underwater Acoustic Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 873-876, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
underwater sound, underwater acoustic images, object pose estimation, man-made objects recognition, 2D acoustic images, forward looking sonar, acoustic camera, voting-based approach, boundary segments, angular relations, edge discontinuities, object blurring, real acoustic images, simulated acoustic images, average estimation error, edge detection, image sequences, image quality, geometrical distortions, computational load, speckle noise |
14 | Vicent Caselles, Jose Luis Lisani, Jean-Michel Morel, Guillermo Sapiro |
Shape Preserving Local Contrast Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 314-317, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
shape preserving local contrast enhancement, local histogram equalization algorithm, image level-sets, spurious objects, image connected components, grey-valued images, mathematical morphology, image enhancement, color images, spatial relations, pixels, image information |
14 | Afonso Ferreira, Claire Kenyon, Andrew Rau-Chaplin, Stéphane Ubéda |
d-Dimensional Range Search on Multicomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: 11th International Parallel Processing Symposium (IPPS '97), 1-5 April 1997, Geneva, Switzerland, Proceedings, pp. 616-620, 1997, IEEE Computer Society, 0-8186-7792-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
d-dimensional range search, range tree, multidimensional point sets, geometric applications, parallel distributed memory setting, d-dimensional Cartesian space, distributed range tree, sequential data structure, associative-function, report modes, parallel construction algorithms, parallel search algorithms, sequential time, data structure, search problems, multicomputers, range queries, processors, computation time, running times, database applications, coarse grained multicomputer, h-relations |
14 | Phan Hong Giang |
Representation of Uncertain Belief Using Interval Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 111-116, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
uncertain belief representation, interval probability, representation equivalence, probabilistic closures, consequence relations, non-tautological fragment, probability distribution, uncertainty handling, convex set |
14 | Cordelia Schmid, Andrew Zisserman |
Automatic line matching across views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1997 Conference on Computer Vision and Pattern Recognition (CVPR '97), June 17-19, 1997, San Juan, Puerto Rico, pp. 666-671, 1997, IEEE Computer Society, 0-8186-7822-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
automatic line matching, individual line segment matching, grey-level information, multiple view geometric relations, image pairs, cross-correlation based matching score, putative line correspondences, image triplets, line transfer, trifocal geometry, short range motion, long range motion, plane induced homographies, line segment extraction, scene types, three view algorithm, image matching, views, epipolar geometry, partial occlusion |
14 | Brandon Bennett, Anthony G. Cohn 0001, Amar Isli |
Combining Multiple Representations in a Spatial Reasoning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 314-322, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
spatial reasoning system, quantitative representations, numerical coordinate systems, high-level conceptual vocabulary, qualitative languages, computational tractability, first-order language, intuitionistic propositional logic, quantitative data structures, polygonal regions, qualitative relational language, high-level queries, spatial reasoning, multiple representations, topological relations, spatial information systems, qualitative representations |
14 | Carl-Arndt Krapp, Bernhard Westfechtel |
Feedback Handling in Dynamic Task Nets. ![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. 301-302, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
dynamic task nets, feedback handling, process management system, human intervention, work context restoration, DYNAMITE, feedback relations, task versions, customized data flow semantics, adaptability, feedback, software process, traceability, impact analysis, change propagation |
14 | Warwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Geoffrey Watson, Jim Welsh |
Software Visualisation in a Generic Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 1996 Australian Software Engineering Conference (ASWEC '96), July 14-18, 1996, Melbourne, Australia, pp. 47-54, 1996, IEEE Computer Society, 0-8186-7635-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
generic environment, software engineering, software tools, visualisation, relations, integrated environment, graphical presentation |
14 | Chabane Djeraba, Karima Hadouda |
Multimedia Scenes in a Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 7th International Conference, DEXA '96, Zurich, Switzerland, September 9-13, 1996, Proceedings, pp. 177-186, 1996, Springer, 3-540-61656-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
object paradigm, Multimedia, interactions, database, Petri net, temporal relations |
14 | S. Lehmke |
Weight Structures for Approximate Reasoning with Weighted Expressions. ![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. 178-183, 1996, IEEE Computer Society, 0-8186-7392-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
weight structures, weighted expressions, fundamental relations model, semantic consequence, fuzzy logic, inference mechanisms, multivalued logic, many-valued logic, approximate reasoning, uncertainty handling |
14 | Glenn R. Lowry, G. William Morgan, Desmond G. Fitzgerald |
Organisational characteristics, cultural qualities and excellence in leading Australian-owned information technology firms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCNZ ![In: Proceedings of the 1996 Information Systems Conference of New Zealand, ISCNZ '96, October 30-31, 1996, pp. 72-84, 1996, IEEE Computer Society, 0-8186-7710-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
organisational characteristics, cultural qualities, Australian-owned information technology firms, field case studies, IT firms, growth projections, customer relations, organisational resources, cultural aspects, information systems, management, size, success factors, revenue, staff, DP industry, project teams, employee, business activities, organisational modelling, organisation culture |
14 | Denis Avrilionis, Pierre-Yves Cunin, Christer Fernström |
OPSIS: A View Mechanism for Software Processes Which Supports Their Evolution and Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 38-47, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
OPSIS, graph based process modelling languages, interface elements, link relations, merge operation, process reuse, reusable fragments, sub model, type view, view mechanism, user interfaces, complexity, Petri net, Petri nets, software processes, software reusability, simulation languages, composition operators, process evolution, global model |
14 | Xiaoping Chen, Wei-Tek Tsai, Hai Huang 0011, Mustafa H. Poonawala, Sanjai Rayadurgam, Yamin Wang |
Omega - an integrated environment for C++ program maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1996 International Conference on Software Maintenance (ICSM '96), 4-8 November 1996, Monterey, CA, USA, Proceedings, pp. 114-, 1996, IEEE Computer Society, 0-8186-7677-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C++ program maintenance, object-oriented software-specific techniques, class dependence, message dependence, declaration dependence, hierarchical C++ dependence graph construction algorithms, slicing techniques, class slicing, message slicing, constrained slicing, recursive slicing, variable slicing, condition slicing, programming environments, program slicing, regression testing, source code, integrated environment, Omega, ripple effect analysis, dependence relations |
14 | Qian Chen 0001, Haiyuan Wu, Masahiko Yachida |
Face Detection by Fuzzy Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 591-596, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
fuzzy pattern matching, face like regions, perceptually uniform color space, face candidates, skin color distribution function, skin color regions, extracted facial features, geometrical relations, image segmentation, feature extraction, face recognition, face detection, image matching, object detection, fuzzy set theory, image colour analysis, complex background |
14 | Orlena Gotel, Anthony Finkelstein |
Contribution structures (Requirements artifacts). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: Second IEEE International Symposium on Requirements Engineering, March 27 - 29, 1995, York, England, UK, pp. 100-107, 1995, IEEE Computer Society, 0-8186-7017-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
requirements artifacts, requirements traceability problems, dynamic contribution structures, artifact production, traceability relations, personnel-based requirements traceability, agents, systems analysis, software development management, human resource management, management of change, social sciences, personnel |
14 | Xiaotie Deng, Patrick W. Dymond |
Efficient routing and message bounds for optimal parallel algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 556-562, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
message bounds, round-robin message-delivery, routing, parallel algorithms, computational complexity, routing algorithm, network routing, interprocessor communication, optimal parallel algorithms, crossbar networks, h-relations |
14 | Lawrence Rauchwerger, David A. Padua |
Parallelizing while loops for multiprocessor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 347-356, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
parallelizing while loops, do loops, conditional exits, sequential constructs, data dependence relations, sparse matrix packages, multiprocessing systems, multiprocessor systems, program compilers, parallelizing compilers, parallelising compilers, linked lists, iteration space, sparse matrix computations |
14 | Christopher Ahlberg, Erik Wistrand |
IVEE: an Information Visualization and Exploration Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOVIS ![In: IEEE Symposium On Information Visualization 1995, InfoVis 1995, 30-31 October 1995, Atlanta, Georgia, USA, pp. 66-73, 1995, IEEE Computer Society, 0-8186-7201-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Information Visualization and Exploration Environment, IVEE, automatic dynamic query creation, database relations, query devices, multiple visualizations, starfields, multiple query devices, alphasliders, toggles, arbitrary graphical objects, database objects, details-on-demand retrieval, HTML file, multiple IVEE clients, user actions, network, query processing, maps, computer animation, data visualisation, multimedia computing, workstations, query formulation, sliders, multimedia information |
14 | Boris A. Romov |
Completeness Theory for Vector Partial Multiple-Valued Logic Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 25th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1995, Bloomington, Indiana, USA, May 23-25, 1995, Proceedings, pp. 86-91, 1995, IEEE Computer Society, 0-8186-7118-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
completeness theory, vector partial multiple-valued logic functions, completeness criterion, multiple-base invariant relations algebra, restricted quantifier free calculus, multivalued logic, Galois connection |
14 | Jin-Tai Yan |
An efficient cut-based algorithm on minimizing the number of L-shaped channels for safe routing ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 366-371, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
cut-based algorithm, L-shaped channels, safe routing ordering, geometrical topology, floorplan graph, channel precedence graph, S-cuts, redundant L-cuts, balanced L-cuts, non-minimal L-cuts, non-critical L-cuts, critical L-cuts, computational complexity, time complexity, circuit layout CAD, line segments, precedence relations |
14 | Sangho Ha, Sangyong Han, Heunghwan Kim |
Partitioning a lenient parallel language into sequential threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 83-92, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
lenient parallel language, language partitioning, sequential threads, multithreaded architecture performance, large-scale parallel system, split-phase memory operations, fast context switching, multithreaded code quality, enhanced thread formation scheme, Id/sup -/, long latency instructions, multiple switches, generalized switch-and-merge, thread merging, redundant arc elimination, thread precedence relations, control instructions, DAVRID multithreaded architecture, simulation, graph theory, parallel architectures, graph partitioning, switching, merging, parallel languages, large-scale systems, program control structures, branch instructions |
14 | James G. Anderson, Carolyn E. Aydin, Bonnie Kaplan |
An analytical framework for measuring the effectiveness/impacts of computer-based patient record systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 767-776, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
impact measurement, computer-based patient record systems, integrated information systems, information management needs, reformed health care system, practice patterns, professional relations, research designs.., information technology, health care, health care, medical information systems, social aspects of automation, social systems, analytical framework, records management, effectiveness measurement |
14 | Stefan Ronngren, Behrooz A. Shirazi |
Static multiprocessor scheduling of periodic real-time tasks with precedence constraints and communication costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 143-152, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
static multiprocessor scheduling, periodic real-time tasks, large task sets, exclusion relation, heuristic scheduling algorithms, clustering, real-time systems, resource allocation, NP-complete, multiprocessing systems, communication complexity, mutual exclusion, processor scheduling, timing constraints, task allocation, communication costs, precedence constraints, multiprocessor architecture, precedence relations, scheduling methods |
14 | Nikolaos G. Bourbakis, Mohammad Mortazavi |
An efficient building block layout methodology for compact placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), March 16-18, 1995, The State University of New York at Buffalo, USA, pp. 118-123, 1995, IEEE Computer Society, 0-8186-7035-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
building block layout methodology, compact placement, synthesis placement, GEOMETRIA, geometric reshapings, VLSI regulation, functional performance, connection lines, occupied chip area, neighboring relations, dead space, open holes, channels merging process, legal overlapping, VLSI, formal languages, formal language, network routing, circuit layout CAD, compaction, global routing, integrated circuit layout, integrated circuit interconnections, local routing |
14 | Hongji Yang, Keith H. Bennett |
Acquisition of ERA models from data intensive code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 116-123, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
entity relationship attribute diagram acquisition, data-intensive source code, data items, imperative code, formal transformations, imperative constructs, ERA models, industrial COBOL programs, code-embedded relations, designs, data structures, data structures, reverse engineering, reverse engineering, software maintenance, systems analysis, diagrams, entity-relationship modelling |
14 | Juan F. Arias, Rangachar Kasturi, Atul K. Chhabra |
Efficient techniques for telephone company line drawing interpretation. ![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. 795-798, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
telephone company line drawing interpretation, customizable tools, routines, image recognition, spatial relations, processing time, run length encoding |
14 | Boris Pasternak |
The role of taxonomy in drawing interpretation. ![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. 799-802, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
drawing interpretation, taxonomic structures, object taxonomy, object partonomy, part-of relations, knowledge readability, knowledge maintainability, declarative approach, dual taxonomies, scanned drawings, knowledge representation, knowledge representation, image recognition, image recognition, taxonomy, reasoning, document image processing, spatial reasoning |
14 | Pyeoung Kee Kim, Hang Joon Kim |
On-line recognition of run-on Korean characters. ![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. 54-57, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
on-line character recognition, run-on Korean characters, extended primitive strokes, cursive stroke extraction, character separation rules, generalized character list, stroke code sequence, positional relations, target character searching, feature extraction, character recognition, character sets, fuzzy membership functions |
14 | Yigang Chen, Wei-Tek Tsai, Daniel Y. Chao |
Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(4), pp. 414-426, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
computational complexity, computational complexity, parallel processing, Petri nets, liveness, concurrent systems, reachability, boundedness, dependency relations, Petrinets |
14 | Minoru Maruyama, Shigeru Abe |
Range Sensing by Projecting Multiple Slits with Random Cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(6), pp. 647-651, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
multiple slits projection, segment matching, random cuts, range sensing, random dots, 3-D data, adjacency relations, image segmentation, image segmentation, image recognition, image recognition |
|
|