Search results for "Description"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
42	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web.	J. Data Semantics	2009	DBLP DOI BibTeX RDF	Probabilistic description logic programs, Bayesian probabilities, merging ontology mappings, data tractability, Web Services, Semantic Web, algorithms, complexity, description logics, ontology mapping, disjunctive logic programs, answer set semantics, inconsistency handling
42	Michael E. Senko	Data Description Language in the Concept of a Multilevel Structured Description: DIAM II with FORAL.	IFIP TC-2 Special Working Conference on Data Base Description	1975	DBLP BibTeX RDF
37	Jan Madsen, Bjarne Hald	An approach to interface synthesis.	ISSS	1995	DBLP DOI BibTeX RDF	channel optimization, client-side interface description, client/server module synthesis, communication events formalization, existing module reuse, multiple client/server environment, one-sided interface description, server interface description, software reusability, application program interfaces, client-server systems, subroutines, interface synthesis, point-to-point communication
37	Antonie Azokly, Rolf Ingold	A language for document generic layout description and its use for segmentation into regions.	ICDAR	1995	DBLP DOI BibTeX RDF	document generic layout description language, generic layout description, region boundary delimiters, separator determination, segmentation method, page description languages
37	Philippe Lefèvre, François Reynaud	ODIL: an SGML description language of the layout structure of documents.	ICDAR	1995	DBLP DOI BibTeX RDF	SGML description language, ODIL, coding format, document recognition prototype, Office Document Image description Language, logical structure recognition, RAINBOW transit DTD, layout structure, up-conversion, image segmentation, segmentation, OCR, document image processing, SGML, document recognition, ODL, page description languages
37	Anikó Simon, Jean-Christophe Pret, A. Peter Johnson	(Chem)DeTE/X automatic generation of a markup language description of (chemical) documents from bitmap images.	ICDAR	1995	DBLP DOI BibTeX RDF	markup language description, bitmap images, style file, layout recognition, Kruskal's algorithm, physical page structure, chemical documents, recursive parsing algorithm, document style description language, DSDL, document processing, layout analysis, document handling, scientific publications, page description languages
37	Yu Sun 0005, Yuefei Sui	Default Description Logics with Reversing Inference Rules.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
36	Michael J. Hu, Ye Jian	MD2L: Content Description of Multimedia Documents for Efficient Process and Search/Retrieval.	ADL	1999	DBLP DOI BibTeX RDF	multimedia data/documents, MPEG-7, meta-data, Content description
35	Liang Chang 0003, Zhongzhi Shi, Lirong Qiu, Fen Lin	Dynamic Description Logic: Embracing Actions into Description Logic.	Description Logics	2007	DBLP BibTeX RDF
35	Fred Kröger	A Uniform Logical Basis for the Description, Specification and Verification of Programs.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
35	Leonid A. Kalinichenko	Toward Data Description Language for Data Base with Partly Determined Schema.	IFIP TC-2 Special Working Conference on Data Base Description	1975	DBLP BibTeX RDF
34	Hoon Choi, Kidong Nam, Sun You Kim	Specification of video-on-demand service using object oriented technique.	ICCCN	1995	DBLP DOI BibTeX RDF	VOD service specification, ITU-T service modeling frame, prose description, static description, service attributes, dynamic description, event trace diagram, VOD service protocols, broadband services, formal specification, interactive video, video on demand service, object oriented technique
33	Benjamin N. Grosof, Ian Horrocks 0001, Raphael Volz, Stefan Decker	Description logic programs: combining logic programs with description logic.	WWW	2003	DBLP DOI BibTeX RDF	ontologies, XML, semantic web, interoperability, knowledge representation, logic programs, RDF, description logic, rules, information integration, translation, model-theoretic semantics, inferencing
33	Ju Wang 0005, Yuncheng Jiang, Yuming Shen	Satisfiability and reasoning mechanism of terminological cycles in description logic vL .	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	terminological cycles, description graph, model, description logic
33	Hillel Rom, Gérard G. Medioni	Hierarchical Decomposition and Axial Shape Description.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	smooth local symmetries, parallel symmetries, shape parsing, region information, axial shape description, segmented axial description, curvature sign changes, contour information, image segmentation, stability, robustness, scale, computational efficiency, hierarchical decomposition
33	Roland Wilson, Michael Spann	Finite Prolate Spheroidal Sequences and their Applications II: Image Feature Description and Segmentation.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	image feature description, finite prolate spheroidal sequences, frequency-domain locality, optimal feature sets, quadtree concept, texture description, multiresolution techniques, pattern recognition, pattern recognition, image processing, image segmentation, feature extraction, picture processing, picture processing, trees (mathematics), frequency-domain analysis, scale invariance
32	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Rule-Based Approaches for Representing Probabilistic Ontology Mappings.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF	Representing probabilistic ontology mappings, rule languages, probabilistic description logic programs, Bayesian probabilities, Bayesian description logic programs, Semantic Web, Bayesian networks, uncertainty, description logics, Datalog, inconsistency, disjunctive logic programs, answer set semantics
32	Luca Penzo, Donatella Sciuto, Cristina Silvano	VLSI design of systematic odd-weight-column byte error detecting SEC-DED codes.	VLSI Design	1995	DBLP DOI BibTeX RDF	odd-weight-column byte error detection, SEC-DED codes, single error correction, double error detection, single byte error detection, SEC-DED-SBD codes, high performances VLSI implementations, high speed encoding/decoding circuits, parallel data manipulation, VHSIC Hardware Description Language, VHDL description, parallel processing, VLSI, software tool, error correction codes, application specific integrated circuits, logic CAD, decoding, VLSI design, error detection codes, hardware description languages, integrated logic circuits, digital integrated circuits
31	Anbang Zhao, Yun Yu, GuoCang Sun, GuanFang Li, JunYing Hui	Multiple description video coding based on residuum compensation.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	successive refinement, coding noise, streaming transmission, multiple description coding
31	Yangli Wang, Chengke Wu 0001	A Mesh-based Multiple Description Coding Method for Network Video.	AINA (1)	2004	DBLP DOI BibTeX RDF	Mesh-based Motion Compensation, Redundancy Rate Distortion, Multiple Description Coding, Packet Loss
30	Zu Whan Kim, Ramakant Nevatia	Expandable Bayesian Networks for 3D Object Description from Multiple Views and Multiple Mode Inputs.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	Multiview object description, building description, learning, bayesian network, uncertain reasoning
29	Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Peng Wang 0004	A Family of Extended Fuzzy Description Logics.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
28	Langis Gagnon, Samuel Foucher, Maguelonne Héritier, Marc Lalonde, David Byrns, Claude Chapdelaine, James Turner, Suzanne Mathieu, Denis Laurendeau, Nath Tan Nguyen, Denis Ouellet	Towards computer-vision software tools to increase production and accessibility of video description for people with vision loss.	Univers. Access Inf. Soc.	2009	DBLP DOI BibTeX RDF	e-Accessibility, Video description, Computer vision, Video indexing
28	Rola Kassem, Mikaël Briday, Jean-Luc Béchennec, Yvon Trinquet, Guillaume Savaton	Instruction set simulator generation using HARMLESS, a new hardware architecture description language.	SimuTools	2009	DBLP DOI BibTeX RDF	hardware architecture description language, instruction set simulation
28	Jing Wang 0029, Jie Liang 0001	Filter Banks for Prediction-Compensated Multiple Description Coding.	DCC	2008	DBLP DOI BibTeX RDF	image coding, multiple description coding, filter banks
28	Kyung-Ae Cha, Kyungdeok Kim	MPEG-4 Scene Description Optimization for Interactive Terrestrial DMB Content.	ICESS	2007	DBLP DOI BibTeX RDF	T-DMB, Scene description Optimization, MPEG-4 System, Interactive Content, BIFS
28	Zsolt Nagy, Gergely Lukácsy, Péter Szeredi	Translating Description Logic Queries to Prolog.	PADL	2006	DBLP DOI BibTeX RDF	Instance retrieval, Prolog, Description Logics, Reasoning, Query-plan
28	Lin Liu 0001, Xiuzi Ye, Min Yao, Sanyuan Zhang	A Semantic Description Scheme of Soccer Video Based on MPEG-7.	PCM (2)	2004	DBLP DOI BibTeX RDF	Video Semantic Description, MPEG-7, Soccer Video
28	Piero A. Bonatti	Towards Service Description Logics.	JELIA	2002	DBLP DOI BibTeX RDF	Semantic Web, Description Logics
28	Doris Gälle, Christian Kop, Heinrich C. Mayr	A Uniform Web Service Description Representation for Different Readers.	ICDS	2008	DBLP DOI BibTeX RDF	Web service description, Human-friendly Service Description, Web service
28	Mark A. Toleman, David A. Carrington, Phil Cook, Andrew Coyle, Anthony MacDonald, Jim Welsh, Tim Jones	Generic Description of a Software Document Environment.	HICSS	2001	DBLP DOI BibTeX RDF	generic implementation, document description languages, tool description languages, software tools, software documents
28	Rafael Peñaloza	Semiring Provenance in Expressive Description Logics.	Description Logics	2023	DBLP BibTeX RDF
28	Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca	ASP-based Axiom Pinpointing for Description Logics.	Description Logics	2023	DBLP BibTeX RDF
28	Alessandro Artale, Andrea Mazzullo	Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
28	Oliver Fernández Gil, Pavlos Marantidis	Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automatas.	Description Logics	2023	DBLP BibTeX RDF
28	Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré	Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
28	Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz	SAT-based PAC Learning of Description Logic Concepts (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
28	Axel Mascaro, Christophe Rey	Commonality Subtraction Operator for the EL Description Logic.	Description Logics	2023	DBLP BibTeX RDF
28	Joshua Hirschbrunn, Yevgeny Kazakov	Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts.	Description Logics	2023	DBLP BibTeX RDF
28	Carsten Lutz, Quentin Manière, Robin Nolte	Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
28	Franz Baader, Filippo De Bortoli	On the Abstract Expressive Power of Description Logics with Concrete Domains.	Description Logics	2023	DBLP BibTeX RDF
28	Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman 0001, Grant E. Weddell	Path Description Dependencies in Feature-Based DLs.	Description Logics	2023	DBLP BibTeX RDF
28	Ricardo Guimarães 0001, Ana Ozaki, Jandson S. Ribeiro	Eviction and Reception for Description Logic Ontologies (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
28	Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez 0001, Alexej Popovic	On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne.	Description Logics	2022	DBLP BibTeX RDF
28	Ludovic Brieulle, Chan Le Duc, Pascal Vaillant	Reasoning in the Description Logic ALC under Category Semantics (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
28	Mostafa Sakr, Renate A. Schmidt	Fine-Grained Forgetting for the Description Logic ALC.	Description Logics	2022	DBLP BibTeX RDF
28	Stefan Borgwardt, Jörg Hoffmann 0001, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz	Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract).	Description Logics	2022	DBLP BibTeX RDF
28	Jean Christoph Jung, Andrea Mazzullo, Frank Wolter	More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions.	Description Logics	2022	DBLP BibTeX RDF
28	Bartosz Bednarczyk, Mateusz Urbanczyk	Comonadic Semantics for Description Logics Games.	Description Logics	2022	DBLP BibTeX RDF
28	Tim Lyon, Jonas Karge	Uniform and Modular Sequent Systems for Description Logics.	Description Logics	2022	DBLP BibTeX RDF
28	Birte Glimm, Yevgeny Kazakov, Michael Welt	Concept Abduction for Description Logics.	Description Logics	2022	DBLP BibTeX RDF
28	Sebastian Rudolph	Charting the Borderland - Decidability in Description Logics and Beyond (DL Invited Talk Abstract).	Description Logics	2022	DBLP BibTeX RDF
28	Faiq Miftakhul Falakh, Sebastian Rudolph	AGM Revision in Description Logics Under Fixed-Domain Semantics.	Description Logics	2022	DBLP BibTeX RDF
28	Bernardo Alkmim, Edward Hermann Haeusler, Cláudia Nalon	A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals.	Description Logics	2022	DBLP BibTeX RDF
28	Federica Di Stefano 0001, Magdalena Ortiz 0001, Mantas Simkus	Pointwise Circumscription in Description Logics.	Description Logics	2022	DBLP BibTeX RDF
28	Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova	Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
28	Chan Le Duc	Category-theoretical Semantics of the Description Logic ALC.	Description Logics	2021	DBLP BibTeX RDF
28	Bartosz Bednarczyk, Emanuel Kieronski	Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
28	Tim French 0002, Thomas Smoker	An Aleatoric Description Logic for Probabilistic Reasoning.	Description Logics	2021	DBLP BibTeX RDF
28	Patrick Koopmann	Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
28	Marie Fortin, Boris Konev, Frank Wolter	Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
28	Cheikh Brahim El Vaigh, François Goasdoué	A Well-founded Graph-based Summarization Framework for Description Logics.	Description Logics	2021	DBLP BibTeX RDF
28	Barbara Morawska 0001	Unification in the Description Logic FL⊥.	Description Logics	2021	DBLP BibTeX RDF
28	Spyridon Kantarelis, Edmund Dervakos, Natalia Kotsani, Giorgos Stamou	Musical Harmony Analysis with Description Logics.	Description Logics	2021	DBLP BibTeX RDF
28	Camille Bourgaux, Ana Ozaki, Jeff Z. Pan	Geometric Models for (Temporally) Attributed Description Logics.	Description Logics	2021	DBLP BibTeX RDF
28	Steven Schockaert, Yazmín Angélica Ibáñez-García, Víctor Gutiérrez-Basulto	Modelling Concept Interpolation in Description Logics using Abstract Betweenness Relations.	Description Logics	2021	DBLP BibTeX RDF
28	Theo Ducros, Marinette Bouet, Farouk Toumani	Weak Subsumption in the EL-Description Logic with Refreshing Variables (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
28	Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova	On the Complexity of Finding Good Proofs for Description Logic Entailments.	Description Logics	2020	DBLP BibTeX RDF
28	Franz Baader, Jakub Rydval	Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract).	Description Logics	2020	DBLP BibTeX RDF
28	Andreas Steigmiller, Birte Glimm	Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract).	Description Logics	2020	DBLP BibTeX RDF
28	Francesca Alessandra Lisi	Using Higher-order Description Logics for Learning and Mining in Complex Domains.	Description Logics	2020	DBLP BibTeX RDF
28	Patrick Koopmann, Jieying Chen	Deductive Module Extraction for Expressive Description Logics (Extended Abstract).	Description Logics	2020	DBLP BibTeX RDF
28	Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu	Provenance for the Description Logic ELHr (Extended Abstract).	Description Logics	2020	DBLP BibTeX RDF
28	Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter	Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract).	Description Logics	2020	DBLP BibTeX RDF
28	Satyadharma Tirtarasa	Temporal Properties over Contextualized Description Logics.	Description Logics	2020	DBLP BibTeX RDF
28	Franz Baader, Filippo De Bortoli	Description Logics That Count, and What They Can and Cannot Count (Extended Abstract).	Description Logics	2020	DBLP BibTeX RDF
28	Gianluca Cima, Domenico Lembo, Riccardo Rosati 0001, Domenico Fabio Savo	Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Abstract).	Description Logics	2020	DBLP BibTeX RDF
28	Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter	On Free Description Logics with Definite Descriptions.	Description Logics	2020	DBLP BibTeX RDF
28	Ismail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Andrius Vaicenavicius	Explanations for Ontology-Mediated Query Answering in Description Logics (Extended Abstract).	Description Logics	2020	DBLP BibTeX RDF
28	Jakub Kuklis	Data Complexity of Finite Query Entailment in Description Logics with Transitive Roles.	Description Logics	2020	DBLP BibTeX RDF
28	Pedro Cabalar, Torsten Schaub	Temporal Logic Programs with Temporal Description Logic Axioms.	Description Logic, Theory Combination, and All That	2019	DBLP DOI BibTeX RDF
28	"Johann" Sebastian Rudolph	Presburger Concept Cardinality Constraints in Very Expressive Description Logics - Allegro sexagenarioso ma non ritardando.	Description Logic, Theory Combination, and All That	2019	DBLP DOI BibTeX RDF
28	Katrin M. Dannert, Erich Grädel	Provenance Analysis: A Perspective for Description Logics?	Description Logic, Theory Combination, and All That	2019	DBLP DOI BibTeX RDF
28	Özgür Lütfü Özçep, Ralf Möller 0001	On Bounded-Memory Stream Data Processing with Description Logics.	Description Logic, Theory Combination, and All That	2019	DBLP DOI BibTeX RDF
28	Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß	Situation Calculus Meets Description Logics.	Description Logic, Theory Combination, and All That	2019	DBLP DOI BibTeX RDF
28	Ana Ozaki, Markus Krötzsch, Sebastian Rudolph	Temporally Attributed Description Logics.	Description Logic, Theory Combination, and All That	2019	DBLP DOI BibTeX RDF
28	Katarina Britz, Giovanni Casini, Thomas Meyer 0002, Ivan Varzinczak	A KLM Perspective on Defeasible Reasoning for Description Logics.	Description Logic, Theory Combination, and All That	2019	DBLP DOI BibTeX RDF
28	Stephanie McIntyre, David Toman 0001, Grant E. Weddell	FunDL - A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources.	Description Logic, Theory Combination, and All That	2019	DBLP DOI BibTeX RDF
28	Marco Wilhelm, Gabriele Kern-Isberner	Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$.	Description Logic, Theory Combination, and All That	2019	DBLP DOI BibTeX RDF
28	Alexander Borgida	Initial Steps Towards a Family of Regular-Like Plan Description Logics.	Description Logic, Theory Combination, and All That	2019	DBLP DOI BibTeX RDF
28	Sergei Obiedkov, Baris Sertkaya, Denis Zolotukhin	Probably Approximately Correct Completion of Description Logic Knowledge Bases.	Description Logics	2019	DBLP BibTeX RDF
28	Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter	Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract).	Description Logics	2019	DBLP BibTeX RDF
28	Gerhard Lakemeyer	Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic.	Description Logics	2019	DBLP BibTeX RDF
28	Yizheng Zhao, Renate A. Schmidt	On Concept Forgetting in Description Logics with Qualified Number Restrictions.	Description Logics	2019	DBLP BibTeX RDF
28	Haitao Cheng, Zongmin Ma 0001	Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTL.	Description Logics	2019	DBLP BibTeX RDF
28	Franz Baader, Oliver Fernández Gil, Pavlos Marantidis	Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract).	Description Logics	2019	DBLP BibTeX RDF
28	Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph	Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints.	Description Logics	2019	DBLP BibTeX RDF
28	Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki	On Non-normal Modal Description Logics.	Description Logics	2019	DBLP BibTeX RDF
28	Mitko Yanchev	Rational Grading in an Expressive Description Logic.	Description Logics	2019	DBLP BibTeX RDF
28	Patrick Koopmann	Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries.	Description Logics	2019	DBLP BibTeX RDF