|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 340 occurrences of 254 keywords
|
|
|
Results
Found 691 publication records. Showing 691 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWC ![In: The Semantic Web, 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings, pp. 330-344, 2008, Springer, 978-3-540-89703-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
79 | Selda Küçükçifçi, Charles C. Lindner |
Minimum Covering for Hexagon Triple Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 32(1-3), pp. 251-265, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
hexagon triple system, minimum covering, perfect |
65 | Jozef Hooman |
Compositional Verification of Real-Time Systems using Extended Hoare Triples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 252-290, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings, pp. 196-212, 2009, Springer, 978-3-642-04929-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rules and Rule Markup Languages for the Semantic Web, Second International Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006, Proceedings, pp. 67-74, 2006, IEEE Computer Society, 0-7695-2652-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II, pp. 646-650, 2009, Springer, 978-3-642-02480-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Pei He, Lishan Kang, Daochang Huang |
Construction of Hoare Triples under Generalized Model with Semantically Valid Genetic Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICA ![In: Advances in Computation and Intelligence, 4th International Symposium, ISICA 2009, Huangshi, China, Ocotober 23-25, 2009, Proceedings, pp. 228-237, 2009, Springer, 978-3-642-04842-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (1) ![In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I, pp. 11-12, 2007, Springer, 978-3-540-76887-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | François Siewe, Dang Van Hung |
Deriving Real-Time Programs from Duration Calculus Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings, pp. 92-97, 2001, Springer, 3-540-42541-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPEC ![In: Parameterized and Exact Computation, 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers, pp. 98-109, 2009, Springer, 978-3-642-11268-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing ![In: Computational Linguistics and Intelligent Text Processing, 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings, pp. 177-188, 2005, Springer, 3-540-24523-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 6(1), pp. 48-62, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
40 | Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang |
Nested Hoare Triples and Frame Rules for Higher-Order Store. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 440-454, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
40 | Joe Futrelle |
Harvesting RDF Triples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPAW ![In: Provenance and Annotation of Data, International Provenance and Annotation Workshop, IPAW 2006, Chicago, IL, USA, May 3-5, 2006, Revised Selected Papers, pp. 64-72, 2006, Springer, 3-540-46302-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Marie-Laure Reinberger, Peter Spyns |
Generating and Evaluating Triples for Modelling a Virtual Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, pp. 1205-1214, 2005, Springer, 3-540-29739-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Seon Ho Jeong, Jae Dong Yang, Hyung Jeong Yang, Jae Hun Choi |
Image Retrieval Using Fuzzy Triples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISUAL ![In: Visual Information and Information Systems, Third International Conference, VISUAL '99, Amsterdam, The Netherlands, June 2-4, 1999, Proceedings, pp. 657-664, 1999, Springer, 3-540-66079-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Jack Downey |
Systems architect and systems analyst: are these comparable roles? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2006 ACM SIGMIS CPR Conference on Computer Personnel Research 2006, April 13-15, 2006, Claremont, California, USA, pp. 213-220, 2006, ACM, 1-59593-349-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSSCV ![In: Deep Structure, Singularities, and Computer Vision, First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers, pp. 96-111, 2005, Springer, 3-540-29836-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(12), pp. 1319-1326, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.10692, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
34 | David Heath, Vladimir Kolesnikov, Stanislav Peceny |
Masked Triples: Amortizing Multiplication Triples across Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 604, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
34 | David Heath, Vladimir Kolesnikov, Stanislav Peceny |
Masked Triples - Amortizing Multiplication Triples Across Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography (2) ![In: Public-Key Cryptography - PKC 2021 - 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10-13, 2021, Proceedings, Part II, pp. 319-348, 2021, Springer, 978-3-030-75247-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM (1) ![In: Knowledge Science, Engineering and Management - 13th International Conference, KSEM 2020, Hangzhou, China, August 28-30, 2020, Proceedings, Part I, pp. 161-173, 2020, Springer, 978-3-030-55129-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA (1) ![In: Database Systems for Advanced Applications - 24th International Conference, DASFAA 2019, Chiang Mai, Thailand, April 22-25, 2019, Proceedings, Part I, pp. 367-382, 2019, Springer, 978-3-030-18575-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 52(4), pp. 473-487, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
34 | Ma Eugenia Cornejo, Jesús Medina 0001, Eloísa Ramírez |
Implication Triples versus Adjoint Triples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Advances in Computational Intelligence - 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II, pp. 453-460, 2011, Springer, 978-3-642-21497-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
34 | Manuel Bodirsky, Jens K. Müller |
The complexity of rooted phylogeny problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2010, 13th International Conference, Lausanne, Switzerland, March 23-25, 2010, Proceedings, pp. 165-173, 2010, ACM, 978-1-60558-947-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(3), pp. 447-462, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings, pp. 188-204, 2009, Springer, 978-3-642-03236-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWC ![In: The Semantic Web, 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings, pp. 182-196, 2008, Springer, 978-3-540-89703-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Cornelis H. A. Koster, Olaf Seibert, Marc Seutter |
The PHASAR Search Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language Processing and Information Systems, 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006, Proceeding, pp. 141-152, 2006, Springer, 3-540-34616-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBISP2P ![In: Databases, Information Systems, and Peer-to-Peer Computing, International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers, pp. 323-330, 2006, Springer, 978-3-540-71660-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Erietta Liarou, Stratos Idreos, Manolis Koubarakis |
Publish/Subscribe with RDF Data over Large Structured Overlay Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBISP2P ![In: Databases, Information Systems, and Peer-to-Peer Computing, International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers, pp. 135-146, 2005, Springer, 978-3-540-71660-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Edward L. Robertson |
Triadic Relations: An Algebra for the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWDB ![In: Semantic Web and Databases, Second International Workshop, SWDB 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers, pp. 91-108, 2004, 3-540-24576-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 650-657, 2004, ACM, 1-58113-844-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings, pp. 644-658, 2003, Springer, 3-540-20362-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISUAL ![In: Visual Information and Information Systems, Third International Conference, VISUAL '99, Amsterdam, The Netherlands, June 2-4, 1999, Proceedings, pp. 391-398, 1999, Springer, 3-540-66079-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Seppo Linnainmaa, David Harwood, Larry S. Davis |
Pose Determination of a Three-Dimensional Object Using Triangle Pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 10(5), pp. 634-647, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WALCOM ![In: WALCOM: Algorithms and Computation, Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings, pp. 322-333, 2009, Springer, 978-3-642-00201-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Jesse Weaver, James A. Hendler |
Parallel Materialization of the Finite RDFS Closure for Hundreds of Millions of Triples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings, pp. 682-697, 2009, Springer, 978-3-642-04929-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Charles Ben Cranston, Hanan Samet |
Indexing Point Triples Via Triangle Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 23rd International Conference on Data Engineering, ICDE 2007, The Marmara Hotel, Istanbul, Turkey, April 15-20, 2007, pp. 936-945, 2007, IEEE Computer Society, 1-4244-0802-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 22(2), pp. 251-260, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29 - June 1, 2005, Proceedings, pp. 563-577, 2005, Springer, 3-540-26124-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Bang Ye Wu |
Constructing the Maximum Consensus Tree from Rooted Triples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 8(1), pp. 29-39, 2004. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 266-275, 2004, ACM, 1-58113-844-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the 2003 Conference on APL: Stretching the Mind, APL 2003, San Diego, California, USA, June 11-14, 2003, pp. 4-10, 2003, ACM, 1-58113-668-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Edgar A. Ramos |
The Number of Extreme Triples of a Planar Point Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 16(1), pp. 1-19, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Anita de Waard |
From Proteins to Fairytales: Directions in Semantic Publishing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 25(2), pp. 83-88, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings, pp. 197-209, 2007, Springer, 3-540-70828-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(4), pp. 473-491, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(6), pp. 531-568, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 41st Annual Symposium on Foundations of Computer Science, FOCS 2000, 12-14 November 2000, Redondo Beach, California, USA, pp. 410-420, 2000, IEEE Computer Society, 0-7695-0850-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 39(1), pp. 54-57, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Eric Crestan, Patrick Pantel |
Web-scale knowledge extraction from semi-structured tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 1081-1082, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009, pp. 1513-1516, 2009, ACM, 978-1-60558-512-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, March 29 2009 - April 2 2009, Shanghai, China, pp. 1263-1266, 2009, IEEE Computer Society, 978-0-7695-3545-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Jacopo Urbani, Spyros Kotoulas, Eyal Oren, Frank van Harmelen |
Scalable Distributed Reasoning Using MapReduce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings, pp. 634-649, 2009, Springer, 978-3-642-04929-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
Compositional shape analysis by means of bi-abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 289-300, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
program analysis, abduction, proof theory |
23 | Pankaj K. Agarwal, Micha Sharir, Emo Welzl |
Algorithms for center and Tverberg points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 5(1), pp. 5:1-5:20, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 17th ACM Conference on Information and Knowledge Management, CIKM 2008, Napa Valley, California, USA, October 26-30, 2008, pp. 1323-1324, 2008, ACM, 978-1-59593-991-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21-25, 2008, pp. 1053-1054, 2008, ACM, 978-1-60558-085-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
indexing, signature, graph partitioning, rdf |
23 | Andrea Pugliese 0001, Octavian Udrea, V. S. Subrahmanian |
Scaling RDF with time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21-25, 2008, pp. 605-614, 2008, ACM, 978-1-60558-085-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGIV ![In: 4th International Conference on Computer Graphics, Imaging and Visualization (CGIV 2007), August 14-16, 2007, Bangkok, Thailand, pp. 341-348, 2007, IEEE Computer Society, 0-7695-2928-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC/ASWC ![In: The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007., pp. 353-366, 2007, Springer, 978-3-540-76297-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: Advances in Biometrics, International Conference, ICB 2006, Hong Kong, China, January 5-7, 2006, Proceedings, pp. 598-604, 2006, Springer, 3-540-31111-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Julian Seidenberg, Alan L. Rector |
Representing Transitive Propagation in OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2006, 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings, pp. 255-266, 2006, Springer, 3-540-47224-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Ursula Martin, Erik Arne Mathiesen, Paulo Oliva |
Hoare Logic in the Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings, pp. 501-515, 2006, Springer, 3-540-45458-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Glebsky L. Yu, Carlos J. Rubio |
Latin Squares, Partial Latin Squares and Their Generalized Quotients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 21(3), pp. 365-375, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Maureen C. Stone |
Representing Colors as Three Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 25(4), pp. 78-85, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
digital color, CIE color specification, perception, color |
23 | Zoran Majkic |
Intensional P2P Mappings Between RDF Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2005, 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005, Proceedings, pp. 592-594, 2005, Springer, 3-540-30017-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Adrian Tanasescu |
Cooperative Query Answering for RDF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings, pp. 535-543, 2005, Springer, 3-540-25878-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWS ![In: The Semantic Web: Research and Applications, First European Semantic Web Symposium, ESWS 2004, Heraklion, Crete, Greece, May 10-12, 2004, Proceedings, pp. 152-166, 2004, Springer, 3-540-21999-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LA-WEB ![In: 1st Latin American Web Congress (LA-WEB 2003), Empowering Our Web, 10-12 November 2003, Sanitago, Chile, pp. 27-36, 2003, IEEE Computer Society, 0-7695-2058-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2002: Proceedings of the 25th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, August 11-15, 2002, Tampere, Finland, pp. 183-190, 2002, ACM, 1-58113-561-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (2) ![In: 2001 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2001), with CD-ROM, 8-14 December 2001, Kauai, HI, USA, pp. 583-590, 2001, IEEE Computer Society, 0-7695-1272-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Hermann A. Maurer |
On Some Recent Developments in Cryptography and Their Applications to Computer Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1979, Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979, pp. 121-130, 1979, Springer, 0-387-09526-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 5584-5604, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.07567, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.10271, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 20(1), 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks Learn. Syst. ![In: IEEE Trans. Neural Networks Learn. Syst. 35(2), pp. 1980-1992, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD (5) ![In: Advances in Knowledge Discovery and Data Mining - 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part V, pp. 244-255, 2024, Springer, 978-981-97-2264-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 9789-9798, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Takao Komatsu, Claudio Pita-Ruiz |
The Frobenius Number for Jacobsthal Triples Associated with Number of Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(2), pp. 98, February 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(2), pp. 333, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Takao Komatsu, Shanta Laishram, Pooja Punyani |
p-Numerical Semigroups of Generalized Fibonacci Triples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(4), pp. 852, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Jose Maria P. Balmaceda, Dom Vito A. Briones |
A survey on association schemes on triples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Graph Theory Appl. ![In: Electron. J. Graph Theory Appl. 11(1), pp. 15-26, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Open Source Softw. ![In: J. Open Source Softw. 8(86), pp. 5114, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.03671, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Hongyin Zhu |
Extracting Relational Triples Based on Graph Recursive Neural Network via Dynamic Feedback Forest Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.11411, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.13420, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.09930, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.09662, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.01690, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.06609, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Zhangdie Yuan, Andreas Vlachos 0001 |
Zero-Shot Fact-Checking with Semantic Triples and Knowledge Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.11785, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Amnon Yekutieli |
Pythagorean Triples, Complex Numbers, Abelian Groups and Prime Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 130(4), pp. 321-334, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Srinivasa K, P. Santhi Thilagam |
Multi-layer perceptron based fake news classification using knowledge base triples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 53(6), pp. 6276-6287, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Johannes Mono, Tim Güneysu |
Implementing and Optimizing Matrix Triples with Homomorphic Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 593, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
17 | Clemens Fuchs, Sebastian Heintze |
A polynomial variant of diophantine triples in linear recurrences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 86(1), pp. 289-299, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 691 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|