Search results for "Triples"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
97	Qiaoling Liu, Kaifeng Xu, Lei Zhang 0007, Haofen Wang, Yong Yu 0001, Yue Pan	Catriple: Extracting Triples from Wikipedia Categories.	ASWC	2008	DBLP DOI BibTeX RDF
79	Selda Küçükçifçi, Charles C. Lindner	Minimum Covering for Hexagon Triple Systems.	Des. Codes Cryptogr.	2004	DBLP DOI BibTeX RDF	hexagon triple system, minimum covering, perfect
65	Jozef Hooman	Compositional Verification of Real-Time Systems using Extended Hoare Triples.	REX Workshop	1991	DBLP DOI BibTeX RDF	Hoare triples, Verification, Real-time, Specification, Compositionality
63	Giorgos Flouris, Irini Fundulaki, Panagiotis Pediaditis, Yannis Theoharis, Vassilis Christophides	Coloring RDF Triples to Capture Provenance.	ISWC	2009	DBLP DOI BibTeX RDF
63	Christopher J. Matheus, Kenneth Baclawski, Mieczyslaw M. Kokar	BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules.	RuleML	2006	DBLP DOI BibTeX RDF
51	Kohichi Kohigashi, Kentaro Takahashi, Kaname Harumoto, Shojiro Nishio	A Peer-to-Peer Information Sharing Method for RDF Triples Based on RDF Schema.	IWANN (2)	2009	DBLP DOI BibTeX RDF
51	Pei He, Lishan Kang, Daochang Huang	Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations.	ISICA	2009	DBLP DOI BibTeX RDF	finite state automaton, model checking, Genetic programming, Hoare logic
51	Peter Spyns	Validating a Tool for Evaluating Automatically Lexical Triples Mined from Texts.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF
48	François Siewe, Dang Van Hung	Deriving Real-Time Programs from Duration Calculus Specifications.	CHARME	2001	DBLP DOI BibTeX RDF	Continuous specification, discrete design, Hoare triples, concurrency, real-time program, shared variables
45	Peter Damaschke	Bounded-Degree Techniques Accelerate Some Parameterized Graph Algorithms.	IWPEC	2009	DBLP DOI BibTeX RDF
45	Hiram Calvo, Alexander F. Gelbukh, Adam Kilgarriff	Distributional Thesaurus Versus WordNet: A Comparison of Backoff Techniques for Unsupervised PP Attachment.	CICLing	2005	DBLP DOI BibTeX RDF
45	Mythili Mantharam, Patricia J. Eberlein	The Real Two-Zero Algorithm: A Parallel Algorithm to Reduce a Real Matrix to a Real Schur Form.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
40	Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang	Nested Hoare Triples and Frame Rules for Higher-Order Store.	CSL	2009	DBLP DOI BibTeX RDF
40	Joe Futrelle	Harvesting RDF Triples.	IPAW	2006	DBLP DOI BibTeX RDF
40	Marie-Laure Reinberger, Peter Spyns	Generating and Evaluating Triples for Modelling a Virtual Environment.	OTM Workshops	2005	DBLP DOI BibTeX RDF
40	Seon Ho Jeong, Jae Dong Yang, Hyung Jeong Yang, Jae Hun Choi	Image Retrieval Using Fuzzy Triples.	VISUAL	1999	DBLP DOI BibTeX RDF
37	Jack Downey	Systems architect and systems analyst: are these comparable roles?	CPR	2006	DBLP DOI BibTeX RDF	Irish telecommunications software, method of triples, systems analyst, systems architect, skills, social cognitive theory
37	Remco Duits, Bart J. Janssen, Frans Kanters, Luc Florack	Linear Image Reconstruction from a Sparse Set of alpha-Scale Space Features by Means of Inner Products of Sobolev Type.	DSSCV	2005	DBLP DOI BibTeX RDF	Gelfand Triples, Top Point Reconstruction, Flux Features, Scale Space, Tikhonov Regularization, Sobolev Spaces, Deep Structure
37	Brian V. Funt, Mark S. Drew	Color Space Analysis of Mutual Illumination.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	color space analysis, mutual illumination, light intensity, RGB triples, image processing, singular value decomposition, image, interreflection, geometrical information
34	Aman Kumar, Swathi Dinakaran	Textbook to triples: Creating knowledge graph in the form of triples from AI TextBook.	CoRR	2021	DBLP BibTeX RDF
34	David Heath, Vladimir Kolesnikov, Stanislav Peceny	Masked Triples: Amortizing Multiplication Triples across Conditionals.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
34	David Heath, Vladimir Kolesnikov, Stanislav Peceny	Masked Triples - Amortizing Multiplication Triples Across Conditionals.	Public Key Cryptography (2)	2021	DBLP DOI BibTeX RDF
34	Tao Sun, Jiaojiao Zhai, Qi Wang	NovEA: A Novel Model of Entity Alignment Using Attribute Triples and Relation Triples.	KSEM (1)	2020	DBLP DOI BibTeX RDF
34	Fuzhen He, Zhixu Li, Qiang Yang 0015, An Liu 0002, Guanfeng Liu 0001, Pengpeng Zhao, Lei Zhao 0001, Min Zhang 0005, Zhigang Chen 0003	Unsupervised Entity Alignment Using Attribute Triples and Relation Triples.	DASFAA (1)	2019	DBLP DOI BibTeX RDF
34	Claudilene Gomes da Costa, Benjamín R. C. Bedregal, Adrião Duarte Dória Neto	Relating De Morgan triples with Atanassov's intuitionistic De Morgan triples via automorphisms.	Int. J. Approx. Reason.	2011	DBLP DOI BibTeX RDF
34	Ma Eugenia Cornejo, Jesús Medina 0001, Eloísa Ramírez	Implication Triples versus Adjoint Triples.	IWANN (2)	2011	DBLP DOI BibTeX RDF
34	Manuel Bodirsky, Jens K. Müller	The complexity of rooted phylogeny problems.	ICDT	2010	DBLP DOI BibTeX RDF	?-categorical structures, computational complexity, Datalog, constraint satisfaction problems, phylogenetic reconstruction
34	Jing Zhou 0004, Wendy Hall 0001, David De Roure	Building a Distributed Infrastructure for Scalable Triple Stores.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	RDF data management, semantics awareness, topology reorganization, peer-to-peer, scalability
34	Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori	Bottom-Up Shape Analysis.	SAS	2009	DBLP DOI BibTeX RDF
34	Yan Liang, Haofen Wang, Qiaoling Liu, Thanh Tran 0001, Thomas Penin, Yong Yu 0001	Efficient Index Maintenance for Frequently Updated Semantic Data.	ASWC	2008	DBLP DOI BibTeX RDF
34	Cornelis H. A. Koster, Olaf Seibert, Marc Seutter	The PHASAR Search Engine.	NLDB	2006	DBLP DOI BibTeX RDF
34	Akiyoshi Matono, Said Mirza Pahlevi, Isao Kojima	RDFCube: A P2P-Based Three-Dimensional Index for Structural Joins on Distributed Triple Stores.	DBISP2P	2006	DBLP DOI BibTeX RDF
34	Erietta Liarou, Stratos Idreos, Manolis Koubarakis	Publish/Subscribe with RDF Data over Large Structured Overlay Networks.	DBISP2P	2005	DBLP DOI BibTeX RDF
34	Edward L. Robertson	Triadic Relations: An Algebra for the Semantic Web.	SWDB	2004	DBLP DOI BibTeX RDF
34	Min Cai, Martin R. Frank	RDFPeers: a scalable distributed RDF repository based on a structured peer-to-peer network.	WWW	2004	DBLP DOI BibTeX RDF	distributed RDF repositories, semantic web, peer-to-peer
34	Jan Wielemaker, Guus Schreiber, Bob J. Wielinga	Prolog-Based Infrastructure for RDF: Scalability and Performance.	ISWC	2003	DBLP DOI BibTeX RDF
34	Hyung Jeong Yang, Hoyoung Kim, Jae Dong Yang	Design and Implementation of COIRS (a COncept-based Image Retrieval System).	VISUAL	1999	DBLP DOI BibTeX RDF
34	Seppo Linnainmaa, David Harwood, Larry S. Davis	Pose Determination of a Three-Dimensional Object Using Triangle Pairs.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	3D object pose determination, triangle pairs, pattern recognition, pattern recognition, picture processing, picture processing, transforms, Hough transform
29	Luca Grilli 0001, Seok-Hee Hong 0001, Giuseppe Liotta, Henk Meijer, Stephen K. Wismath	Matched Drawability of Graph Pairs and of Graph Triples.	WALCOM	2009	DBLP DOI BibTeX RDF
29	Jesse Weaver, James A. Hendler	Parallel Materialization of the Finite RDFS Closure for Hundreds of Millions of Triples.	ISWC	2009	DBLP DOI BibTeX RDF
29	Charles Ben Cranston, Hanan Samet	Indexing Point Triples Via Triangle Geometry.	ICDE	2007	DBLP DOI BibTeX RDF
29	Lijun Ji	Partition of Triples of Order 6k+5 into 6k+3 Optimal Packings and One Packing of Size 8k+4.	Graphs Comb.	2006	DBLP DOI BibTeX RDF	Partitionable candelabra system, t-wise balanced design, Packing
29	Peter Spyns, Marie-Laure Reinberger	Lexically Evaluating Ontology Triples Generated Automatically from Texts.	ESWC	2005	DBLP DOI BibTeX RDF
29	Bang Ye Wu	Constructing the Maximum Consensus Tree from Rooted Triples.	J. Comb. Optim.	2004	DBLP DOI BibTeX RDF	algorithms, dynamic programming, NP-hardness, computational biology, evolutionary trees
29	Sean Bechhofer, Jeremy J. Carroll	Parsing owl dl: trees or triples?	WWW	2004	DBLP DOI BibTeX RDF	semantic web, parsing, rdf, owl
29	Linda Alvord, Tama Traberman	Simulating ordered GRB color triples using J to create images with gradients in both hue and value.	APL	2003	DBLP DOI BibTeX RDF
29	Edgar A. Ramos	The Number of Extreme Triples of a Planar Point Set.	Discret. Comput. Geom.	1996	DBLP DOI BibTeX RDF
25	Anita de Waard	From Proteins to Fairytales: Directions in Semantic Publishing.	IEEE Intell. Syst.	2010	DBLP DOI BibTeX RDF	science publishing, scientific knowledge representation, entity enrichment, semantic publishing, Semantic Web, artificial intelligence, language, triples
25	Jesús Medina 0001, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño	On Multi-adjoint Concept Lattices: Definition and Representation Theorem.	ICFCA	2007	DBLP DOI BibTeX RDF	multi-adjoint lattices, implication triples, concept lattices, Galois connection
25	George Voutsadakis	Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Equivalent deductive systems, Equivalent institutions, Algebraizable institutions, Polyadic algebras, First-order logic, Monads, Institutions, Algebraic logic, Algebraizable logics, Adjunctions, Algebraic theories, Cylindric algebras, Triples
25	George Voutsadakis	Categorical Abstract Algebraic Logic: Algebraizable Institutions.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	equivalent deductive systems, equivalent institutions, algebraic institutions, equivalent categories, algebraizable institutions, clone algebras, substitution algebras, polyadic algebras, diagram-based logics, first-order logic, monads, institutions, equational logic, algebraic logic, algebraizable logics, adjunctions, algebraic theories, cylindric algebras, triples
25	Harold N. Gabow	Using Expander Graphs to Find Vertex Connectivity.	FOCS	2000	DBLP DOI BibTeX RDF	nesting properties, separation triples, computational complexity, complexity, graph theory, expander graphs, undirected graph, digraph, time bound, vertex connectivity
23	Michael Benedikt, Daniela Florescu, Philippa Gardner, Giovanna Guerrini, Marco Mesiti, Emmanuel Waller	Report on the EDBT/ICDT 2010 workshop on updates in XML.	SIGMOD Rec.	2010	DBLP DOI BibTeX RDF
23	Eric Crestan, Patrick Pantel	Web-scale knowledge extraction from semi-structured tables.	WWW	2010	DBLP DOI BibTeX RDF	classification, information extraction, structured data, web tables
23	George H. L. Fletcher, Peter W. Beck	Scalable indexing of RDF graphs for efficient join processing.	CIKM	2009	DBLP DOI BibTeX RDF	basic graph patterns, indexing, sparql, rdf, graph databases
23	Ying Yan 0002, Chen Wang 0020, Aoying Zhou, Weining Qian, Li Ma 0002, Yue Pan	Efficient Indices Using Graph Partitioning in RDF Triple Stores.	ICDE	2009	DBLP DOI BibTeX RDF
23	Jacopo Urbani, Spyros Kotoulas, Eyal Oren, Frank van Harmelen	Scalable Distributed Reasoning Using MapReduce.	ISWC	2009	DBLP DOI BibTeX RDF
23	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang	Compositional shape analysis by means of bi-abduction.	POPL	2009	DBLP DOI BibTeX RDF	program analysis, abduction, proof theory
23	Pankaj K. Agarwal, Micha Sharir, Emo Welzl	Algorithms for center and Tverberg points.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	Tverberg point, center point, Arrangements
23	Haofen Wang, Thanh Tran 0001, Chang Liu 0021	CE2: towards a large scale hybrid search engine with integrated ranking support.	CIKM	2008	DBLP DOI BibTeX RDF	hybrid search, scalable storage, annotations, ranking
23	Ying Yan 0002, Chen Wang 0020, Aoying Zhou, Weining Qian, Li Ma 0002, Yue Pan	Efficiently querying rdf data in triple stores.	WWW	2008	DBLP DOI BibTeX RDF	indexing, signature, graph partitioning, rdf
23	Andrea Pugliese 0001, Octavian Udrea, V. S. Subrahmanian	Scaling RDF with time.	WWW	2008	DBLP DOI BibTeX RDF	RDF indexing, temporal RDF, resource description framework
23	Muhamamd Shahazad Mughal, M. Nawaz, Farhan Ahmad, Saadia Shahzad, A. K. Bhatti, S. Mohsin	A 3D-Hash Function for Fast Image Indexing and Retrieval.	CGIV	2007	DBLP DOI BibTeX RDF	3D hash function, image retrieval, perfect hashing function, Image database systems, 2D string
23	Hyun Namgoong, Hong-Gee Kim	Ontology-Based Controlled Natural Language Editor Using CFG with Lexical Dependency.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF	Lexical Dependency, OntoPath, Look-Ahead Editor, Ontology, Context-Free Grammar, Controlled Natural Language
23	Kazuhiko Sumi, Chang Liu, Takashi Matsuyama	Study on Synthetic Face Database for Performance Evaluation.	ICB	2006	DBLP DOI BibTeX RDF
23	Julian Seidenberg, Alan L. Rector	Representing Transitive Propagation in OWL.	ER	2006	DBLP DOI BibTeX RDF
23	Ursula Martin, Erik Arne Mathiesen, Paulo Oliva	Hoare Logic in the Abstract.	CSL	2006	DBLP DOI BibTeX RDF
23	Glebsky L. Yu, Carlos J. Rubio	Latin Squares, Partial Latin Squares and Their Generalized Quotients.	Graphs Comb.	2005	DBLP DOI BibTeX RDF
23	Maureen C. Stone	Representing Colors as Three Numbers.	IEEE Computer Graphics and Applications	2005	DBLP DOI BibTeX RDF	digital color, CIE color specification, perception, color
23	Zoran Majkic	Intensional P2P Mappings Between RDF Ontologies.	WISE	2005	DBLP DOI BibTeX RDF
23	Adrian Tanasescu	Cooperative Query Answering for RDF.	ISMIS	2005	DBLP DOI BibTeX RDF	order-sorted features, cooperative answers, RDF, terms, interrogation
23	Sanghee Kim, Paul H. Lewis, Kirk Martinez, Simon Goodall	Question Answering Towards Automatic Augmentations of Ontology Instances.	ESWS	2004	DBLP DOI BibTeX RDF	information extraction, relation extraction, question answering systems, ontology population
23	Valerie Bönström, Annika Hinze, Heinz Schweppe	Storing RDF as a Graph.	LA-WEB	2003	DBLP DOI BibTeX RDF
23	Jianfeng Gao 0001, Ming Zhou, Jian-Yun Nie, Hongzhao He, Weijun Chen	Resolving query translation ambiguity using a decaying co-occurrence model and syntactic dependence relations.	SIGIR	2002	DBLP DOI BibTeX RDF	statistical model, parse, query translation, CLIR, co-occurrence
23	Weixin Kong, Benjamin B. Kimia	On Solving 2D and 3D Puzzles Using Curve Matching.	CVPR (2)	2001	DBLP DOI BibTeX RDF
23	Hermann A. Maurer	On Some Recent Developments in Cryptography and Their Applications to Computer Science.	MFCS	1979	DBLP DOI BibTeX RDF
17	Hafiz Tayyeb Javed, Kifayat Ullah Khan, Muhammad Faisal Cheema, Asaad Algarni, Jeongmin Park	Instance-Based Lossless Summarization of Knowledge Graph With Optimized Triples and Corrections (IBA-OTC).	IEEE Access	2024	DBLP DOI BibTeX RDF
17	Francois Meyer, Jan Buys	Triples-to-isiXhosa (T2X): Addressing the Challenges of Low-Resource Agglutinative Data-to-Text Generation.	CoRR	2024	DBLP DOI BibTeX RDF
17	Pedro Henrique Batista Ruas da Silveira, Rokia Missaoui, Mohamed Hamza Ibrahim	Querying Triadic Concepts through Partial or Complete Matching of Triples.	CoRR	2024	DBLP DOI BibTeX RDF
17	Thomas Powell	Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language.	Log. Methods Comput. Sci.	2024	DBLP DOI BibTeX RDF
17	Taiyu Ban, Xiangyu Wang 0016, Lyuzhou Chen, Xingyu Wu, Qiuju Chen, Huanhuan Chen	Quality Evaluation of Triples in Knowledge Graph by Incorporating Internal With External Consistency.	IEEE Trans. Neural Networks Learn. Syst.	2024	DBLP DOI BibTeX RDF
17	Jia-Hao Syu, Rafal Cupek, Chao-Chun Chen, Jerry Chun-Wei Lin	TripleS: A Subsidy-Supported Storage for Electricity with Self-financing Management System.	PAKDD (5)	2024	DBLP DOI BibTeX RDF
17	Yibo Liu, Feng Wen, Teng Zong, Taowei Li	Research on Joint Extraction Method of Entity and Relation Triples Based on Hierarchical Cascade Labeling.	IEEE Access	2023	DBLP DOI BibTeX RDF
17	Takao Komatsu, Claudio Pita-Ruiz	The Frobenius Number for Jacobsthal Triples Associated with Number of Solutions.	Axioms	2023	DBLP DOI BibTeX RDF
17	Hiroyuki Tajima, Shoichiro Tsutsui, Takahiro M. Doi, Kei Iida	Density-Induced Hadron-Quark Crossover via the Formation of Cooper Triples.	Symmetry	2023	DBLP DOI BibTeX RDF
17	Takao Komatsu, Shanta Laishram, Pooja Punyani	p-Numerical Semigroups of Generalized Fibonacci Triples.	Symmetry	2023	DBLP DOI BibTeX RDF
17	Jose Maria P. Balmaceda, Dom Vito A. Briones	A survey on association schemes on triples.	Electron. J. Graph Theory Appl.	2023	DBLP DOI BibTeX RDF
17	Konrad Höffner, Tim Baccaert	hdt-rs: A Rust library for the Header Dictionary Triples binary RDF compression format.	J. Open Source Softw.	2023	DBLP DOI BibTeX RDF
17	Michael Färber 0001, David Lamprecht, Johan Krause, Linn Aung, Peter Haase 0001	SemOpenAlex: The Scientific Landscape in 26 Billion RDF Triples.	CoRR	2023	DBLP DOI BibTeX RDF
17	Hongyin Zhu	Extracting Relational Triples Based on Graph Recursive Neural Network via Dynamic Feedback Forest Algorithm.	CoRR	2023	DBLP DOI BibTeX RDF
17	Qianji Di, Wenxi Ma, Zhongang Qi, Tianxiang Hou, Ying Shan, Hanzi Wang	Towards Unseen Triples: Effective Text-Image-joint Learning for Scene Graph Generation.	CoRR	2023	DBLP DOI BibTeX RDF
17	Pavan Vynatheya, Rosemary A. Mardling, Adrian S. Hamers	Quadruple-star systems are not always nested triples: a machine learning approach to dynamical stability.	CoRR	2023	DBLP DOI BibTeX RDF
17	Lena Verscht, Benjamin Lucien Kaminski	Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond.	CoRR	2023	DBLP DOI BibTeX RDF
17	Thomas Powell	Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language.	CoRR	2023	DBLP DOI BibTeX RDF
17	Paul Bastide 0002, Linda Cook, Jeff Erickson 0001, Carla Groenland, Marc J. van Kreveld, Isja Mannens, Jordi L. Vermeulen	Reconstructing Graphs from Connected Triples.	CoRR	2023	DBLP DOI BibTeX RDF
17	Zhangdie Yuan, Andreas Vlachos 0001	Zero-Shot Fact-Checking with Semantic Triples and Knowledge Graphs.	CoRR	2023	DBLP DOI BibTeX RDF
17	Amnon Yekutieli	Pythagorean Triples, Complex Numbers, Abelian Groups and Prime Numbers.	Am. Math. Mon.	2023	DBLP DOI BibTeX RDF
17	Srinivasa K, P. Santhi Thilagam	Multi-layer perceptron based fake news classification using knowledge base triples.	Appl. Intell.	2023	DBLP DOI BibTeX RDF
17	Johannes Mono, Tim Güneysu	Implementing and Optimizing Matrix Triples with Homomorphic Encryption.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
17	Clemens Fuchs, Sebastian Heintze	A polynomial variant of diophantine triples in linear recurrences.	Period. Math. Hung.	2023	DBLP DOI BibTeX RDF