[Lecture Notes in Computer Science] Analysis of Images, Social Networks and Texts Volume 10716 || Hitting Set Problem for Axis-Parallel Squares Intersecting a Straight Line Is Polynomially Solvable for Any Fixed Range of Square Sizes
- 作者van der Aalst, Wil M.P.; Ignatov, Dmitry I.; Khachay, Michael; Kuznetsov, Sergei O.; Lempitsky, Victor; Lomazova, Irina A.; Loukachevitch, Natalia; Napoli, Amedeo; Panchenko, Alexander; Pardalos, Panos M.; Savchenko, Andrey V.; Wasserman, Stanley
- 文件大小1800.87KB
- 发表时间2018
- DOI10.1007/978-3-319-73013-4_31
- 页码334-345
[Lecture Notes in Computer Science] Combinatorial Algorithms Volume 10765 || Privacy-Preserving and Co-utile Distributed Social CreditBrankovic, Ljiljana; Ryan, Joe; Smyth, William F. · 2018
[Lecture Notes in Computer Science] Web Technologies and Applications Volume 9931 || Mining Co-locations from Continuously Distributed Uncertain Spatial DataLi, Feifei; Shim, Kyuseok; Zheng, Kai; Liu, Guanfeng · 2016
[Lecture Notes in Computer Science] Distributed Computing and Internet Technology Volume 8956 || Co-occurrence and Semantic Similarity Based Hybrid Approach for Improving Automatic Query Expansion in Information RetrievalNatarajan, Raja; Barua, Gautam; Patra, Manas Ranjan · 2015
[Lecture Notes in Computer Science] Distributed, Ambient and Pervasive Interactions: Technologies and Contexts Volume 10922 || Towards Supporting Multigenerational Co-creation and Social Activities: Extending Learning Analytics Platforms and BeyondStreitz, Norbert; Konomi, Shin’ichi · 2018
[Lecture Notes in Computer Science] Distributed, Ambient, and Pervasive Interactions Volume 9189 || Co-design Practice in a Smart City Context Through the Gamification Approach: A Survey About the Most Suitable ApplicationsStreitz, Norbert; Markopoulos, Panos · 2015
[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Volume 11246 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III) || Co-simulation: The Past, Future, and Open ChallengesMargaria, Tiziana; Steffen, Bernhard · 2018
[Lecture Notes in Computer Science] Future Data and Security Engineering Volume 11251 (5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28–30, 2018, Proceedings) || Distributed Genetic Algorithm on Cluster of Intel Xeon Phi Co-processorsDang, Tran Khanh; Küng, Josef; Wagner, Roland; Thoai, Nam; Takizawa, Makoto · 2018
[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Volume 11246 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III) || Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical SystemsMargaria, Tiziana; Steffen, Bernhard · 2018
[Lecture Notes in Computer Science] Distributed Computing and Internet Technology Volume 10722 || Formal Verification of Optimizing CompilersNegi, Atul; Bhatnagar, Raj; Parida, Laxmi · 2018
[Lecture Notes in Computer Science] Distributed Computing and Internet Technology Volume 10722 || BDI Based Performance Enhancement in DNSSECNegi, Atul; Bhatnagar, Raj; Parida, Laxmi · 2018
[Lecture Notes in Computer Science] Distributed Computing and Internet Technology Volume 10722 || A One Phase Priority Inheritance Commit ProtocolNegi, Atul; Bhatnagar, Raj; Parida, Laxmi · 2018
[Lecture Notes in Computer Science] Distributed Computing and Internet Technology Volume 10722 || Privacy Preserving Data Utility Mining Using PerturbationNegi, Atul; Bhatnagar, Raj; Parida, Laxmi · 2018
[Lecture Notes in Computer Science] Distributed Computing and Internet Technology Volume 10722 || Issues and Challenges in Big Data: A SurveyNegi, Atul; Bhatnagar, Raj; Parida, Laxmi · 2018
[Lecture Notes in Computer Science] Distributed Computing and Internet Technology Volume 10722 || Effect of Live Migration on Virtual Hadoop ClusterNegi, Atul; Bhatnagar, Raj; Parida, Laxmi · 2018
[Lecture Notes in Computer Science] Distributed Computing and Internet Technology Volume 10722 || Review of Approaches for Linked Data Ontology EnrichmentNegi, Atul; Bhatnagar, Raj; Parida, Laxmi · 2018
[Lecture Notes in Computer Science] Distributed Computing and Internet Technology Volume 10722 || Efficient Algorithms for Local Density Based Anomaly DetectionNegi, Atul; Bhatnagar, Raj; Parida, Laxmi · 2018