The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for facet with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1974-1988 (17) 1989-1991 (15) 1992-1995 (21) 1996-1997 (19) 1998-1999 (37) 2000 (24) 2001 (17) 2002 (37) 2003 (25) 2004 (37) 2005 (47) 2006 (46) 2007 (69) 2008 (80) 2009 (64) 2010 (51) 2011 (39) 2012 (25) 2013 (24) 2014 (29) 2015 (32) 2016 (29) 2017 (25) 2018 (42) 2019 (35) 2020 (23) 2021 (37) 2022 (30) 2023 (25) 2024 (8)
Publication types (Num. hits)
article(495) incollection(4) inproceedings(502) phdthesis(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 519 occurrences of 410 keywords

Results
Found 1009 publication records. Showing 1009 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
10Philippe Guermeur A New Integrative Approach to Time Varying Image Interpretation. Search on Bibsonomy CRV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Xiaojun Yuan 0001 Supporting multiple information-seeking strategies in a single system framework (abstract only). Search on Bibsonomy SIGIR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Dines Bjørner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika "UML-ising' Formal Techniques. Search on Bibsonomy SoftSpez Final Report The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Young Wook Keum, Byoung Seob Park Component Retrieval Using a Synaptic Connectivity Matrix. Search on Bibsonomy PDCAT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
10Shing-Jiuan Leu, Ruay Shiung Chang Integrated Service Mobile Internet: RSVP over Mobile IPv4&6. Search on Bibsonomy Mob. Networks Appl. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Quality of Service, Mobile Internet Protocol, Resource reSerVation Protocol
10Angel Corberán, Antonio Romero, José M. Sanchis The mixed general routing polyhedron. Search on Bibsonomy Math. Program. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Andrew J. Miller, George L. Nemhauser, Martin W. P. Savelsbergh A multi-item production planning model with setup times: algorithms, reformulations, and polyhedral characterizations for a special case. Search on Bibsonomy Math. Program. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Julián Aráoz, Lisa Evans, Ralph E. Gomory, Ellis L. Johnson Cyclic group and knapsack facets. Search on Bibsonomy Math. Program. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Darren Dalcher, Mark Woodman Together We Stand: Group Projects for Integrating Software Engineering in the Curriculum. Search on Bibsonomy CSEE&T The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Guy De Tré, Tom Matthé, Koen Tourné, Bert Callens Ranking the Possible Alternatives in Flexible Querying: An Extended Possibilistic Approach. Search on Bibsonomy ISCIS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Flexible database querying, extended possibilistic truth values, ranking functions
10Willy Picard NeSSy: Enabling Mass E-Negotiations of Complex Contracts. Search on Bibsonomy DEXA Workshops The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Anthony Hughes, Todd Wilkens, Barbara M. Wildemuth, Gary Marchionini Text or Pictures? An Eyetracking Study of How People View Digital Video Surrogates. Search on Bibsonomy CIVR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Stefan Förster, Marco Fischer, André Windisch, Burkhard Balser, Dieter Monjau A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Kevin Cleary, Vance Watson, David Lindisch, Alexandru Patriciu, Dumitru Mazilu, Dan Stoianovici Robotically Assisted Interventions: Clinical Trial for Spinal Blocks. Search on Bibsonomy MICCAI (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Kim Soo Young, Choi Dong Oun Reusable Software Component Retrieval System Based on Web. Search on Bibsonomy ICCSA (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Jeffrey Jacobson Using "CaveUT" to build immersive displays with the unreal tournament engine and a PC cluster. Search on Bibsonomy SI3D The full citation details ... 2003 DBLP  DOI  BibTeX  RDF CaveUT, Unreal Tournament, VR, virtual environment, game engine, CAVE, immersive display
10Nalini Moti Belaramani, Cho-Li Wang, Francis C. M. Lau 0001 Dynamic Component Composition for Functionality Adaptation in Pervasive Environments. Search on Bibsonomy FTDCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Kemafor Anyanwu, Amit P. Sheth The p Operator: Discovering and Ranking Associations on the Semantic Web. Search on Bibsonomy SIGMOD Rec. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF complex relationship discover, graph data model, semantic web, RDF, semantic querying, semantic relationships, semantic associations
10Jean François Maurras From Membership to Separation, a Simple Construction. Search on Bibsonomy Comb. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF AMS Subject Classification (2000): 05Cxx, 11H06, 11J13
10Witold Pedrycz Computational intelligence and visual computing: an emerging technology for software engineering. Search on Bibsonomy Soft Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Rule-based computing, Neural networks, Software quality, Software measures, Computational intelligence, Information granulation
10Yannis Tzitzikas, Nicolas Spyratos, Panos Constantopoulos, Anastasia Analyti Extended Faceted Taxonomies for Web Catalogs. Search on Bibsonomy WISE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Lars Taxén An Interaction-Based Approach for Structuring Coordination Activities. Search on Bibsonomy IEEE ICCI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Naren Ramakrishnan, Robert Capra, Manuel A. Pérez-Quiñones Mixed-initiative interaction = mixed computation. Search on Bibsonomy PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF interaction sequences, partial evaluation, VoiceXML, Mixed-initiative interaction, dialog management
10Dorothee Blocks, Ceri Binding, Daniel Cunliffe, Douglas Tudhope Qualitative Evaluation of Thesaurus-Based Retrieval. Search on Bibsonomy ECDL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Adam N. Letchford, Andrea Lodi 0001 Polynomial-Time Separation of Simple Comb Inequalities. Search on Bibsonomy IPCO The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Dagobert Soergel Thesauri and ontologies in digital libraries: 1. structure and use in knowledge-based assistance to users. Search on Bibsonomy JCDL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF ontology, classification, taxonomy, user assistance, conceptual structure
10Jens H. Jahnke, Hausi A. Müller, Andrew Walenstein, Nikolai Mansurov, Kenny Wong Fused Data-Centric Visualizations for Software Evolution Environments. Search on Bibsonomy IWPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Pedro Antunes 0001, Carlos J. Costa Handheld CSCW in the Meeting Environment. Search on Bibsonomy CRIWG The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Matthias Jarke Metadata and Cooperative Knowledge Management. Search on Bibsonomy CAiSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Matthias Jarke, Ralf Klamma Metadata and Cooperative Knowledge Management. Search on Bibsonomy CAiSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Yannis Tzitzikas, Nicolas Spyratos, Panos Constantopoulos, Anastasia Analyti Extended Faceted Ontologies. Search on Bibsonomy CAiSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Patrick Healy, Nikola S. Nikolov Facets of the Directed Acyclic Graph Layering Polytope. Search on Bibsonomy WG The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Mary A. Burke Personal Construct Theory as a Research Tool for Analysing User Perceptions of Photographs. Search on Bibsonomy CIVR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Patrick Healy, Nikola S. Nikolov A Branch-and-Cut Approach to the Directed Acyclic Graph Layering Problem. Search on Bibsonomy GD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Carsten Sørensen, Masao Kakihara Knowledge Discourses and Interaction Technology. Search on Bibsonomy HICSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10John N. Hooker, Hong Yan 0002 A Relaxation of the Cumulative Constraint. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Don S. Batory, Roberto E. Lopez-Herrejon, Jean-Philippe Martin Generating Product-Lines of Product-Families. Search on Bibsonomy ASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Ali Shahrokni, Luca Vacchetti, Vincent Lepetit, Pascal Fua Polyhedral Object Detection and Pose Estimation for Augmented Reality Applications. Search on Bibsonomy CA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10David B. Lomet The Evolution of Effective B-tree: Page Organization and Techniques: A Personal Account. Search on Bibsonomy SIGMOD Rec. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
10Timothy J. Tautges CGM: A Geometry Interface for Mesh Generation, Analysis and Other Applications. Search on Bibsonomy Eng. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Compo-nentization, Solid modeling, Geometry, Adaptive mesh refinement
10David Harel From Play-In Scenarios to Code: An Achievable Dream. Search on Bibsonomy Computer The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
10K. Tokoi, T. Kitahashi An Improved Scan-Line Algorithm for Display of CSG Models. Search on Bibsonomy IV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
10Janet L. Bailey, Greg Stefaniak Industry perceptions of the knowledge, skills, and abilities needed by computer programmers. Search on Bibsonomy SIGCPR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF business skills, computer programmer, technical skills, workforce shortage, soft skills
10Jean-Philippe P. Richard, Ismael R. de Farias Jr., George L. Nemhauser A Simplex-Based Algorithm for 0-1 Mixed Integer Programming. Search on Bibsonomy Combinatorial Optimization The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
10Marcus Oswald, Gerhard Reinelt Constructing New Facets of the Consecutive Ones Polytope. Search on Bibsonomy Combinatorial Optimization The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
10Philippe Guermeur, Edwige E. Pissaloux A Qualitative Image Reconstruction from an Axial Image Sequence. Search on Bibsonomy AIPR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
10Christian H. Bischof, H. Martin Bücker, Jörg Henrichs, Bruno Lang Hands-On Training for Undergraduates in High-Performance Computing Using Java. Search on Bibsonomy PARA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. Search on Bibsonomy AMAST The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Janet L. Bailey, Greg Stefaniak Preparing the information technology workforce for the new millennium. Search on Bibsonomy SIGCPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF IT job categories, business skills, workforce shortage, softs skills
10Kenneth J. Trimmer, Rosann Webb Collins, Richard P. Will, J. Ellis Blanton Information systems development: can there be "good" conflict? Search on Bibsonomy SIGCPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Michel Chambreuil, Panita Bussapapach, John Fynn Didactic Situations as Multifaceted Theoretical Objects. Search on Bibsonomy Intelligent Tutoring Systems The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Seng Wai Loke Intelligent Information Agents. Search on Bibsonomy PRICAI Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Zheying Zhang Defining Components in a MetaCASE Environment. Search on Bibsonomy CAiSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Emo Welzl n Points and One Line: Analysis of Randomized Games. Search on Bibsonomy WG The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10David Everett Zzzzzzzzzzzzzzzzzzzzzzzzzz. Search on Bibsonomy ZB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Ming-Shing Su, Kuo-Young Cheng, Ming-Tat Ko Control of Feature-Point-Driven Facial Animation Using a Hypothetical Face. Search on Bibsonomy PG The full citation details ... 2000 DBLP  DOI  BibTeX  RDF feature-point-driven, hypothetical face, hypothetical surface, facial animation
10Ming Ye, Robert M. Haralick Two-Stage Robust Optical Flow Estimation. Search on Bibsonomy CVPR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10John Kruse Improving Operational Situational Awareness with Collaborative Technologies. Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Marco Cremonini, Andrea Omicini, Franco Zambonelli Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach. Search on Bibsonomy COORDINATION The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Jörg Peters 0001 Patching Catmull-Clark meshes. Search on Bibsonomy SIGGRAPH The full citation details ... 2000 DBLP  DOI  BibTeX  RDF CAD, geometric modeling, curves & surfaces
10Hung Son Nguyen, Andrzej Skowron, Marcin S. Szczuka Situation Identification by Unmanned Aerial Vehicle. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Heinz Schweppe, Annika Hinze, Daniel Faensen Database Systems as Middleware-Events, Notification, Messages. Search on Bibsonomy ADBIS-DASFAA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
10Norman F. Schneidewind Measuring and Evaluating Maintenance Process Using Reliability, Risk, and Test Metrics. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Maintenance process stability, product and process integration, reliability risk
10Djamel Bouchaffra, Venu Govindaraju, Sargur N. Srihari Postprocessing of Recognized Strings Using Nonstationary Markovian Models. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Nonstationary hidden Markov models, zip code recognition, class conditional probability, Markov random fields, postprocessing
10N. Seshagiri The Informatics Policy in India. Search on Bibsonomy Inf. Syst. Frontiers The full citation details ... 1999 DBLP  DOI  BibTeX  RDF software export, hardware industry, Information Technology, policy, India
10Martin Griebl, Paul Feautrier, Christian Lengauer On Index Set Splitting. Search on Bibsonomy IEEE PACT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF index set splitting, polytope model, Automatic parallelization, loop parallelization
10Mark E. Hartmann, Maurice Queyranne, Yaoguang Wang On the Chvátal Rank of Certain Inequalities. Search on Bibsonomy IPCO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
10Alper Atamtürk, George L. Nemhauser, Martin W. P. Savelsbergh Valid Inequalities for Problems with Additive Variable Upper Bounds. Search on Bibsonomy IPCO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
10Alberto Caprara, Matteo Fischetti, Adam N. Letchford On the Separation of Maximally Violated mod-k Cuts. Search on Bibsonomy IPCO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
10Eduardo Uchoa, Marcus Poggi de Aragão Vertex-Disjoint Packing of Two Steiner Trees: Polyhedra and Branch-and-Cut. Search on Bibsonomy IPCO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
10Linas Maknavicius, Gautier Koscielny, Simon Znaty Customizing Telecommunication Services: Patterns, Issues, and Models. Search on Bibsonomy IS&N The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
10Lukas Theiler, Houda Chabbi Projective Decomposition of Planar Facets. Search on Bibsonomy ICIAP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
10Peter G. Anick, Suresh Tipirneni Interactive Document Retrieval using Faceted Terminological Feedback. Search on Bibsonomy HICSS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
10Joline Morrison, Lorne Olfman Organizational Memory and Knowledge Management - Introduction. Search on Bibsonomy HICSS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
10Richard Chbeir, Youssef Amghar, André Flory System for Medical Image Retrieval: The MIMS Model. Search on Bibsonomy VISUAL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF image indexing and interrogation, multimedia, hypermedia, thesaurus, Database management, spatial relation, image data
10Yiyu Yao, Ning Zhong 0001 An Analysis of Quantitative Measures Associated with Rules. Search on Bibsonomy PAKDD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
10Deborah Hix, J. Edward Swan II, Joseph L. Gabbard, Mike McGee, Jim Durbin, Tony King User-Centered Design and Evaluation of a Real-Time Battlefield Visualization Virtual Environment. Search on Bibsonomy VR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF user assessment, expert heuristic evaluation, virtual reality, user interfaces, virtual environments, user-centered design, usability evaluation, user interaction, usability engineering, formative evaluation
10Weigang Wang, Roy Rada Structured Hypertext with Domain Semantics. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF hypertext models, graph theory, hypertext structures
10J. C. Lagarias 0001, Nagabhushana Prabhu Counting d -Step Paths in Extremal Dantzig Figures. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
10Fred B. Holt, Victor Klee Counterexamples to the Strong d -Step Conjecture for d ge 5. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
10Norman F. Schneidewind An Integrated Process and Product Model. Search on Bibsonomy IEEE METRICS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF software metrics, software process, software product
10Thomas Christof, Marcus Oswald, Gerhard Reinelt Consecutive Ones and a Betweenness Problem in Computational Biology. Search on Bibsonomy IPCO The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
10Volker Kaibel Polyhedral Combinatorics of Quadratic Assignment Problems with Less Objects than Locations. Search on Bibsonomy IPCO The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
10Bernd Gärtner Combinatorial Linear Programming: Geometry Can Help. Search on Bibsonomy RANDOM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
10Philippe Robert, Damien Minaud Integration of Multiple Range Maps through Consistency Processing. Search on Bibsonomy SMILE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
10Alexandre Lenoir Fast Estimation of Mean Curvature on the Surface of a 3D Discrete Object. Search on Bibsonomy DGCI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF surfels, geometric invariant, Discrete surfaces, mean curvature
10Gigi G. Kelly, Robert P. Bostrom A Facilitator's General Model for Managing Socio-Emotional Issues in Group Support Systems Meeting Environments. Search on Bibsonomy HICSS (2) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
10Meinrad Funke, Gerhard Reinelt A Polyhedral Approach to the Feedback Vertex Set Problem. Search on Bibsonomy IPCO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
10Robert Carr Separating over Classes of TSP Inequalities Defined by 0 Node-Lifting in Polynominal Time. Search on Bibsonomy IPCO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
10Michel X. Goemans, Leslie A. Hall The Strongest Facets of the Acyclic Subgraph Polytope Are Unknown. Search on Bibsonomy IPCO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
10Iadh Ounis, Jean-Pierre Chevallet Using Conceptual Graphs in a Multifaceted Logical Model for Information Retrieval. Search on Bibsonomy DEXA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
10Andreas L. Opdahl, Guttorm Sindre Towards an Integrated, Simulative Framework for Real-World Modelling. Search on Bibsonomy HICSS (3) The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
10Muh-ong Yang, GinKou Ma Universal Packet Time Slot - A New Paradigm of Designing an ATM Switch. Search on Bibsonomy LCN The full citation details ... 1996 DBLP  DOI  BibTeX  RDF universal packet time slot, ATM switch design, high speed packet switching, transmission speed, lightwave technology, electronic switching device, FDM, frequency division multiplexing, bit-sliced techniques, output contention, ATM cells, asynchronous transfer mode, bandwidth, time division multiplexing, transmission line, hardware complexity, TDM, processing speed
10Mikko H. Lipasti, Christopher B. Wilkerson, John Paul Shen Value Locality and Load Value Prediction. Search on Bibsonomy ASPLOS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
10Yves Crama, Frits C. R. Spieksma Scheduling Jobs of Equal Length: Complexity, Facets and Computational Results. Search on Bibsonomy IPCO The full citation details ... 1995 DBLP  DOI  BibTeX  RDF polyhedral description, scheduling, computational complexity
10Petra Mutzel A Polyhedral Approach to Planar Augmentation and Related Problems. Search on Bibsonomy ESA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
10Robert A. Allen, John Abbas Youssefi Teaching the internet: a protocol for interactive learning. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
10Linda B. Sherrell, Doris L. Carver FunZ Designs A Bridge between Z Specifications and Haskell Implementations. Search on Bibsonomy COMPSAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF intermediate specification language, Formal methods, functional programming, Haskell, software design, Z specifications
10Edward W. Scheckler, Andrew R. Neureuther Models and algorithms for three-dimensional topography simulation with SAMPLE-3D. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
10Peter K. Rathmann, Marianne Winslett, Mark S. Manasse Circumscription with Homomorphisms: Solving the Equality and Counterexample Problems. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF common sense reasoning, circumscription
Displaying result #901 - #1000 of 1009 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license