Search results for "LOF"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
162	Wolfgang Merkle, Nenad Mihailovic, Theodore A. Slaman	Some Results on Effective Randomness.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
140	Malak Alshawabkeh, Byunghyun Jang, David R. Kaeli	Accelerating the local outlier factor algorithm on a GPU for intrusion detection systems.	GPGPU	2010	DBLP DOI BibTeX RDF	LOF, parallelization, GPU, intrusion detection system
126	Anny Lai-mei Chiu, Ada Wai-Chee Fu	Enhancements on Local Outlier Detection.	IDEAS	2003	DBLP DOI BibTeX RDF	outlier-ness, outlier detection, density
90	Dragoljub Pokrajac, Aleksandar Lazarevic, Longin Jan Latecki	Incremental Local Outlier Detection for Data Streams.	CIDM	2007	DBLP DOI BibTeX RDF
75	Markus M. Breunig, Hans-Peter Kriegel, Raymond T. Ng, Jörg Sander 0001	LOF: Identifying Density-Based Local Outliers.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF	outlier detection, database mining
72	Hongwei Zhang 0001, Anish Arora, Prasun Sinha	Link Estimation and Routing in Sensor Network Backbones: Beacon-Based or Data-Driven?	IEEE Trans. Mob. Comput.	2009	DBLP DOI BibTeX RDF
54	Ammar W. Mohemmed, Mengjie Zhang 0001, Will N. Browne	Particle swarm optimisation for outlier detection.	GECCO	2010	DBLP DOI BibTeX RDF	outlier detection, particle swarm optimisation
54	Alistair Moffat, Simon J. Puglisi, Ranjan Sinha	Reducing Space Requirements for Disk Resident Suffix Arrays.	DASFAA	2009	DBLP DOI BibTeX RDF
54	Wen Jin, Anthony K. H. Tung, Jiawei Han 0001	Mining top-n local outliers in large databases.	KDD	2001	DBLP DOI BibTeX RDF
50	Ke Zhang, Marcus Hutter, Huidong Jin 0001	A New Local Distance-Based Outlier Detection Approach for Scattered Real-World Data.	PAKDD	2009	DBLP DOI BibTeX RDF	local outlier, k-distance, LOF, LDOF, scattered data, KNN
49	Hui Xiong 0001, Gaurav Pandey 0002, Michael S. Steinbach, Vipin Kumar 0001	Enhancing Data Analysis with Noise Removal.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	very noisy data, hyperclique pattern discovery, local outlier factor (LOF), Data cleaning, noise removal
39	Andreas Abel 0001, Thierry Coquand, Peter Dybjer	Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements.	LICS	2007	DBLP DOI BibTeX RDF
36	Charlie Isaksson, Margaret H. Dunham	A Comparative Study of Outlier Detection Algorithms.	MLDM	2009	DBLP DOI BibTeX RDF	data mining, detection, outlier, anomaly
36	Chen Qian 0001, Hoilun Ngan, Yunhao Liu 0001	Cardinality Estimation for Large-scale RFID Systems.	PerCom	2008	DBLP DOI BibTeX RDF	Multi-reader, Estimation, RFID Systems
36	You Wan, Fuling Bian	Cell-Based Outlier Detection Algorithm: A Fast Outlier Detection Algorithm for Large Datasets.	PAKDD	2008	DBLP DOI BibTeX RDF	Cell density filtering, Outlier Detection, Large Datasets
36	Jilin Qu	Outlier Detection Based on Voronoi Diagram.	ADMA	2008	DBLP DOI BibTeX RDF
36	Huidong Jin 0001, Olivier Y. de Vel, Ke Zhang, Nianjun Liu	Knowledge Discovery from Honeypot Data for Monitoring Malicious Attacks.	Australasian Conference on Artificial Intelligence	2008	DBLP DOI BibTeX RDF	density-based cluster visualisation, honeypot data, Knowledge discovery, outlier detection, botnet, Internet security
36	Jian Tang 0001, Zhixiang Chen 0001, Ada Wai-Chee Fu, David Wai-Lok Cheung	Enhancing Effectiveness of Outlier Detections for Low Density Patterns.	PAKDD	2002	DBLP DOI BibTeX RDF
33	Per Martin-Löf	The Sense/Reference Distinction in Constructive Semantics.	Bull. Symb. Log.	2021	DBLP DOI BibTeX RDF
33	Matthijs Lof	Rational Speculators, Contrarians, and Excess Volatility.	Manag. Sci.	2015	DBLP DOI BibTeX RDF
33	Shengye Lu, Sami Repo, Davide Della Giustina, Felipe Alvarez-Cuevas-Figuerola, Atte Lof, Marko Pikkarainen	Real-Time Low Voltage Network Monitoring - ICT Architecture and Field Test Experience.	IEEE Trans. Smart Grid	2015	DBLP DOI BibTeX RDF
33	Andreas Löf, Richard Nelson	Annotating network trace data for anomaly detection research.	LCN Workshops	2014	DBLP DOI BibTeX RDF
33	Per Martin-Löf	Verificationism Then and Now.	Judgement and the Epistemic Foundation of Logic	2013	DBLP DOI BibTeX RDF
33	Atte Lof, Sami Repo, Marko Pikkarainen, Shengye Lu, Timo Poho	Low voltage network monitoring in RTDS environment.	ISGT Europe	2013	DBLP DOI BibTeX RDF
33	Antti Mutanen, Sami Repo, Pertti Järventausta, Atte Lof, Davide Della Giustina	Testing low voltage network state estimation in RTDS environment.	ISGT Europe	2013	DBLP DOI BibTeX RDF
33	Marko Pikkarainen, Atte Lof, Shengye Lu, Timo Poho, Sami Repo, Davide Della Giustina	Power quality monitoring use case in real low voltage network.	ISGT Europe	2013	DBLP DOI BibTeX RDF
33	Doris Jung, Simon J. Laing, Marie Hermo Jensen, Paul Hunkin, Andreas Löf, Nicola Tims	Requirements on dance-driven 3-D camera interaction: a collaboration between dance, graphic design and computer science.	CHINZ	2011	DBLP DOI BibTeX RDF
33	Monica Lof	Making the electricity consumption visible (pilot project).	ISGT Europe	2010	DBLP DOI BibTeX RDF
33	Dan Wallin, Henrik Löf, Erik Hagersten, Sverker Holmgren	Reconsidering algorithms for iterative solvers in the multicore era.	Int. J. Comput. Sci. Eng.	2009	DBLP DOI BibTeX RDF
33	Markus Nordén, Henrik Löf, Jarmo Rantakokko, Sverker Holmgren	Dynamic Data Migration for Structured AMR Solvers.	Int. J. Parallel Program.	2007	DBLP DOI BibTeX RDF	SAMR, Geographical locality, Shared memory, OpenMP, Graph partitioning, Adaptive mesh refinement, cc-NUMA, Page migration
33	Mika Luimula, Kirsti Sääskilahti, Timo Partala, Sakari Pieskä, Juha Alaspää, Andries Lof	Improving the Remote Control of a Mobile Robot Using Positioning and Ubiquitous Techniques.	CASE	2007	DBLP DOI BibTeX RDF
33	Henrik Löf, Jarmo Rantakokko	Algorithmic optimizations of a conjugate gradient solver on shared memory architectures.	Int. J. Parallel Emergent Distributed Syst.	2006	DBLP DOI BibTeX RDF
33	Per Martin-Löf	100 years of Zermelo's axiom of choice: what was the problem with it?	Comput. J.	2006	DBLP DOI BibTeX RDF
33	Markus Nordén, Henrik Löf, Jarmo Rantakokko, Sverker Holmgren	Geographical Locality and Dynamic Data Migration for OpenMP Implementations of Adaptive PDE Solvers.	IWOMP	2006	DBLP DOI BibTeX RDF
33	Dan Wallin, Henrik Löf, Erik Hagersten, Sverker Holmgren	Multigrid and Gauss-Seidel smoothers revisited: parallelization on chip multiprocessors.	ICS	2006	DBLP DOI BibTeX RDF	Gauss-Seidel, temporal blocking, CMP, OpenMP, relaxation, orderings, multigrid, Poisson equation, cache blocking
33	Henrik Löf	Iterative and Adaptive PDE Solvers for Shared Memory Architectures ; Iterativa och adaptiva PDE-lösare för parallelldatorer med gemensam minnesorganisation.		2006	RDF
33	Henrik Löf, Sverker Holmgren	affinity-on-next-touch: increasing the performance of an industrial PDE solver on a cc-NUMA system.	ICS	2005	DBLP DOI BibTeX RDF	TLB shoot-down, computational electro-magnetics, large pages, OpenMP, sparse matrices, conjugate gradients, cc-NUMA, page migration
33	Henrik Löf, Markus Nordén, Sverker Holmgren	Improving Geographical Locality of Data for Shared Memory Implementations of PDE Solvers.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
33	Henrik Löf, Zoran Radovic, Erik Hagersten	THROOM - Supporting POSIX Multithreaded Binaries on a Cluster.	Euro-Par	2003	DBLP DOI BibTeX RDF
33	Carl-Gustav Löf	Power control in cellular radio systems with multicast traffic.	PIMRC	1998	DBLP DOI BibTeX RDF
33	Per Martin-Löf, Grigori Mints (eds.)	COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings	Conference on Computer Logic	1990	DBLP DOI BibTeX RDF
33	Per Martin-Löf	Mathematics of infinity.	Conference on Computer Logic	1988	DBLP DOI BibTeX RDF
33	Per Martin-Löf	Intuitionistic type theory.		1984	RDF
33	Carol Lof	Communications in the People's Republic of China.	IEEE Commun. Mag.	1981	DBLP DOI BibTeX RDF
33	Carol Lof	The department of defenses's communications expert - An interview with Gerald Dinneen.	IEEE Commun. Mag.	1980	DBLP DOI BibTeX RDF
33	Carol Lof	In this issue.	IEEE Commun. Mag.	1980	DBLP DOI BibTeX RDF
33	Carol Lof	The era of electronic enlightenment?	IEEE Commun. Mag.	1980	DBLP DOI BibTeX RDF
33	Carol Lof	Talk with an astronaut turned telephone man.	IEEE Commun. Mag.	1980	DBLP DOI BibTeX RDF
33	Carol Lof	In this issue.	IEEE Commun. Mag.	1980	DBLP DOI BibTeX RDF
33	Carol Lof	In this issue.	IEEE Commun. Mag.	1980	DBLP DOI BibTeX RDF
33	Anders Martin-Löf	Existence of a Stationary Control for a Markov Chain Maximizing the Average Reward.	Oper. Res.	1967	DBLP DOI BibTeX RDF
33	Anders Martin-Löf	Optimal Control of a Continuous-Time Markov Chain with Periodic Transition Probabilities.	Oper. Res.	1967	DBLP DOI BibTeX RDF
33	Anders Martin-Löf	Computation of an Optimal Control for a Signalized Traffic Intersection.	Transp. Sci.	1967	DBLP DOI BibTeX RDF
33	Per Martin-Löf	The Definition of Random Sequences	Inf. Control.	1966	DBLP DOI BibTeX RDF
21	Yuta Takahashi	Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe.	CoRR	2024	DBLP DOI BibTeX RDF
21	Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet	Martin-Löf à la Coq.	CPP	2024	DBLP DOI BibTeX RDF
21	Gözde Öngelen, Tülin Inkaya	A novel LOF-based ensemble regression tree methodology.	Neural Comput. Appl.	2023	DBLP DOI BibTeX RDF
21	Nicola Gambino, Marco Federico Larrea	Models of Martin-Löf Type Theory From Algebraic Weak Factorisation Systems.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
21	Norihiro Yamada	Game semantics of Martin-Löf type theory.	Math. Struct. Comput. Sci.	2023	DBLP DOI BibTeX RDF
21	Willem L. Fouché, Safari Mukeru	On local times of Martin-Löf random Brownian motion.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
21	Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet	Martin-Löf à la Coq.	CoRR	2023	DBLP DOI BibTeX RDF
21	Huayu Li, Ana S. Carreon-Rascon, Xiwen Chen, Geng Yuan, Ao Li 0004	MTS-LOF: Medical Time-Series Representation Learning via Occlusion-Invariant Features.	CoRR	2023	DBLP DOI BibTeX RDF
21	Mohamed Limam El Hairach, Insaf Bellamine, Amal Tmiri	Anomaly Detection in PV Modules: A Comparative Study of DBSCAN, k-means, Isolation Forest, and LOF.	CiSt	2023	DBLP DOI BibTeX RDF
21	Czeslaw Horyn, Agnieszka Nowak-Brzezinska	Improving Detection Efficiency: Optimizing Block Size in the Local Outlier Factor (LOF) Algorithm.	IJCRS	2023	DBLP DOI BibTeX RDF
21	Asniar, Nur Ulfa Maulidevi, Kridanto Surendro	SMOTE-LOF for noise identification in imbalanced data classification.	J. King Saud Univ. Comput. Inf. Sci.	2022	DBLP DOI BibTeX RDF
21	Tomasz Szydlo	Online Anomaly Detection Based On Reservoir Sampling and LOF for IoT devices.	CoRR	2022	DBLP DOI BibTeX RDF
21	Willem L. Fouché, Safari Mukeru	Local time of Martin-Lof Brownian motion.	CoRR	2022	DBLP DOI BibTeX RDF
21	Velu Prabhakar Kumaravel, Marco Buiatti, Eugenio Parise, Elisabetta Farella	Adaptable and Robust EEG Bad Channel Detection Using Local Outlier Factor (LOF).	Sensors	2022	DBLP DOI BibTeX RDF
21	George Davie	Computability of convergence rates in the ergodic theorem for Martin-Löf random points.	J. Log. Anal.	2022	DBLP BibTeX RDF
21	Xichao Yue, Chaoqun Wang, Yong Wang, Le Chen, Weifei Wang, Yuhang Lei	Gas flow meter anomaly data detection based on fused LOF-DBSCAN algorithm.	ICCPR	2022	DBLP DOI BibTeX RDF
21	Meixiang Quan, Zheng Chai, Xiao Liu 0042	LOF: Structure-Aware Line Tracking based on Optical Flow.	CoRR	2021	DBLP BibTeX RDF
21	William J. DeMeo	The Agda Universal Algebra Library and Birkhoff's Theorem in Martin-Löf Dependent Type Theory.	CoRR	2021	DBLP BibTeX RDF
21	Francesca Zaffora Blando	A Learning-Theoretic characterisation of Martin-löF Randomness and Schnorr Randomness.	Rev. Symb. Log.	2021	DBLP DOI BibTeX RDF
21	Lynda Boukela, Gongxuan Zhang, Méziane Yacoub, Samia Bouzefrane 0001, Sajjad Bagheri Baba Ahmadi, Hamed Jelodar	A modified LOF-based approach for outlier characterization in IoT.	Ann. des Télécommunications	2021	DBLP DOI BibTeX RDF
21	William J. DeMeo, Jacques Carette	A Machine-Checked Proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory.	TYPES	2021	DBLP DOI BibTeX RDF
21	Agnieszka Nowak-Brzezinska, Czeslaw Horyn	Outliers in Covid 19 data based on Rule representation - the analysis of LOF algorithm.	KES	2021	DBLP DOI BibTeX RDF
21	Norihiro Yamada	Game semantics of Martin-Löf type theory, part III: its consistency with Church's thesis.	CoRR	2020	DBLP BibTeX RDF
21	Anton Vuerinckx, Yves Moreau	A Central Limit Theorem for Martin-Löf Random Numbers.	CoRR	2020	DBLP BibTeX RDF
21	Lukasz Debowski, Tomasz Steifer	Universal Coding and Prediction on Martin-Löf Random Points.	CoRR	2020	DBLP BibTeX RDF
21	Andreas Abel 0001, Jesper Cockx, Dominique Devriese, Amin Timany, Philip Wadler	Leibniz equality is isomorphic to Martin-Löf identity, parametrically.	J. Funct. Program.	2020	DBLP DOI BibTeX RDF
21	Agnieszka Nowak-Brzezinska, Czeslaw Horyn	Outliers in rules - the comparision of LOF, COF and KMEANS algorithms.	KES	2020	DBLP DOI BibTeX RDF
21	Ansten Mørch Klev	Eta-Rules in Martin-löF Type Theory.	Bull. Symb. Log.	2019	DBLP DOI BibTeX RDF
21	Claude Sureson	Π 1 1 -Martin-Löf randomness and Π 1 1 -Solovay completeness.	Math. Log. Q.	2019	DBLP DOI BibTeX RDF
21	Rodney G. Downey, Satyadev Nandakumar, André Nies	Martin-Löf Randomness Implies Multiple Recurrence in Effectively Closed Sets.	Notre Dame J. Formal Log.	2019	DBLP DOI BibTeX RDF
21	Norihiro Yamada	Game Semantics of Martin-Löf Type Theory.	CoRR	2019	DBLP BibTeX RDF
21	Stefano Berardi, Makoto Tatsuta	Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
21	Chit San Lwin, Xiangqian Wu	KNN-LOF Algorithm Based on Skew Detection and Correction for Myanmar Handwritten Documents.	ICAIP	2019	DBLP DOI BibTeX RDF
21	Zhenyuan Ji, Yan Bu, Yun Zhang	A Signal Sorting Algorithm Based on LOF De-Noised Clustering.	CSPS	2019	DBLP DOI BibTeX RDF
21	Dou El Kefel Mansouri, Seif-Eddine Benkabou, Bachir Kaddar, Josep Lluís Larriba-Pey, Khalid Benabdeslem	Reducing Traffic Congestion by LSTM-LOF Framework.	AICCSA	2019	DBLP DOI BibTeX RDF
21	Cristian S. Calude, Ludwig Staiger	Liouville, Computable, Borel Normal and Martin-Löf Random Numbers.	Theory Comput. Syst.	2018	DBLP DOI BibTeX RDF
21	Logan M. Axon	Martin-Löf random generalized Poisson processes.	Ann. Pure Appl. Log.	2018	DBLP DOI BibTeX RDF
21	George Barmpalias, Andrew Lewis-Pye, Angsheng Li	Pointed computations and Martin-Löf randomness.	Comput.	2018	DBLP DOI BibTeX RDF
21	Pawel Wieczorek, Dariusz Biernacki	A Coq formalization of normalization by evaluation for Martin-Löf type theory.	CPP	2018	DBLP DOI BibTeX RDF
21	Alberto Diez-Olivan, José A. Pagán, Ricardo Sanz, Basilio Sierra	Data-driven prognostics using a combination of constrained K-means clustering, fuzzy modeling and LOF-based score.	Neurocomputing	2017	DBLP DOI BibTeX RDF
21	Bruno Bauwens	Conditional Measure and the Violation of Van Lambalgen's Theorem for Martin-Löf Randomness.	Theory Comput. Syst.	2017	DBLP DOI BibTeX RDF
21	Stefano Berardi, Makoto Tatsuta	Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs.	CoRR	2017	DBLP BibTeX RDF
21	Nicolai Kraus, Martín Escardó, Thierry Coquand, Thorsten Altenkirch	Notions of Anonymous Existence in Martin-Löf Type Theory.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
21	Stefano Berardi, Makoto Tatsuta	Classical System of Martin-Löf's Inductive Definitions Is Not Equivalent to Cyclic Proof System.	FoSSaCS	2017	DBLP DOI BibTeX RDF
21	Claude Sureson	π11-Martin-Löf random reals as measures of natural open sets.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
21	George Barmpalias, Andrew Lewis-Pye, Angsheng Li	Pointed computations and Martin-Löf randomness.	CoRR	2016	DBLP BibTeX RDF