Search results for "EEN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
113	Jacek Gwizdka, Jim Louie, Mark S. Fox	EEN: a pen-based electronic notebook for unintrusive acquisition of engineering design knowledge.	WETICE	1996	DBLP DOI BibTeX RDF	EEN, pen-based electronic notebook, engineering design knowledge acquisition, knowledge-aided design, design information capture, engineering team coordination, electronic engineering notebooks, information-related tasks, collaboration, user interface design, information dissemination, design decisions, design reuse, information storage, electronic engineering computing
53	Job Noorman	Sancus: A Low-Cost Security Architecture for Distributed IoT Applications on a Shared Infrastructure ; Sancus: Een goedkope beveiligingsarchitectuur voor gedistribueerde IoT toepassingen op een gedeelde infrastructuur.		2017	RDF
53	Quynh Ngoc Thi Do	Domain Adaptation in Natural Language Processing for Visualizing a Children's Story in a Virtual World ; Domeinaanpassing in de natuurlijke taalverwerking met als doel de visualisatie van een kinderverhaal in een virtuele wereld.		2017	RDF
53	Jeroen Wyffels	Indoor Localization Aspects of a Personalized Mobile Communication System for Intelligent Healthcare Facilities ; Indoor lokalisatie aspecten van een mobiel gepersonaliseerd communicatiesysteem voor een intelligente zorgomgeving. (PDF / PS)		2015	RDF
30	Hyeon-Min Yoo, Jung-Mo Moon, Jeehyeon Na, Een-Kee Hong	User Association and Load Balancing Based on Monte Carlo Tree Search.	IEEE Access	2023	DBLP DOI BibTeX RDF
30	Omar Jawabreh, Ra'ed Masa'deh, Yaqoub Bqaa'een, Muhammad Alshurideh	Pricing Policies and Their Impact on Customer Satisfaction.	The Effect of Information Technology on Business and Marketing Intelligence Systems	2023	DBLP DOI BibTeX RDF
30	Young-Jun Cho, Hyeon-Min Yoo, Yu-Vin Kim, Een-Kee Hong	An Energy-Efficient Ultra-Dense Network Cell Coverage Adjustment Algorithm.	ICUFN	2023	DBLP DOI BibTeX RDF
30	Seok-Young Bang, Sang-Yeon Lee, Byungsuk Kim, Kyeongjun Shin, Een-Kee Hong	Supervised Learning based Small Cell Planning.	ICTC	2023	DBLP DOI BibTeX RDF
30	Sang-Yeon Lee, Hyun-Min Yoo, Jong-Seok Rhee, Geon Kim, Een-Kee Hong, Byungsuk Kim, Kyeongjun Shin	Clustering Mobile Traffic Data with Autoencoder Using Time-Series Encoded as Images.	ICTC	2023	DBLP DOI BibTeX RDF
30	Een-Kee Hong, Inkyu Lee, Byonghyo Shim, Young-Chai Ko, Sang-Hyo Kim, Sangheon Pack, Kyunghan Lee, Sunwoo Kim 0001, Jae-Hyun Kim, Yoan Shin, Younghan Kim, Haejoon Jung	6G R&D vision: Requirements and candidate technologies.	J. Commun. Networks	2022	DBLP DOI BibTeX RDF
30	Hyeon-Min Yoo, Jong-Seok Rhee, Seok-Young Bang, Een-Kee Hong	Load balancing algorithm running on Open RAN RIC.	ICTC	2022	DBLP DOI BibTeX RDF
30	Young-Min Kim, Hee-Jun Ahn, Yeon-Soo Kim, Sung-Su Park, Een-Kee Hong	Performance evaluation of the effect of traffic decentralization with mobile edge computing.	ICT Express	2021	DBLP DOI BibTeX RDF
30	Muhammad Farooq, Hien Quoc Ngo, Een-Kee Hong, Le-Nam Tran	Utility Maximization for Large-Scale Cell-Free Massive MIMO Downlink.	IEEE Trans. Commun.	2021	DBLP DOI BibTeX RDF
30	Fakhar Zaman, Een-Kee Hong, Hyundong Shin	Local distinguishability of Bell-type states.	Quantum Inf. Process.	2021	DBLP DOI BibTeX RDF
30	Young-Jun Kim, Een-Kee Hong	Identification of Mobile Traffic Characteristics in University Area with Decision Tree Learning Model.	ICTC	2021	DBLP DOI BibTeX RDF
30	Tae-Yoon Park, Jong-Won Han, Een-Kee Hong	UE throughput guaranteed small cell on/off algorithm with machine learning.	J. Commun. Networks	2020	DBLP DOI BibTeX RDF
30	Jae-Wan Park, Eung-Hyo Kim, Een-Kee Hong	Cluster splitting and combining in ultra-dense networks.	IET Commun.	2020	DBLP DOI BibTeX RDF
30	Hee-Jun Ahn, Een-Kee Hong	Acquisition of Tactile Information from Point Cloud.	ICTC	2020	DBLP DOI BibTeX RDF
30	Eung-Hyo Kim, Je-Woo Lee, Young-Min Kim, Een-Kee Hong	Analysis of the Optimal Number of Clusters in UDN Environment.	APWCS	2019	DBLP DOI BibTeX RDF
30	Een-Kee Hong, Jung-Yeon Baek 0001, Ye-Ok Jang, Jeehyeon Na, Kyung-Sook Kim	QoS-guaranteed scheduling for small cell networks.	ICT Express	2018	DBLP DOI BibTeX RDF
30	Ha-Vu Tran, Georges Kaddoum, Hung Tran, Een-Kee Hong	Downlink Power Optimization for Heterogeneous Networks With Time Reversal-Based Transmission Under Backhaul Limitation.	IEEE Access	2017	DBLP DOI BibTeX RDF
30	Ha-Vu Tran, Georges Kaddoum, Hung Tran, Een-Kee Hong	Downlink Power Optimization for Heterogeneous Networks with Time Reversal-based Transmission under Backhaul Limitation.	CoRR	2017	DBLP BibTeX RDF
30	Een-Kee Hong, Jung-Yeon Baek 0001, Georges Kaddoum	A study on channel estimation algorithm with sounding reference signal for TDD downlink scheduling.	PIMRC	2017	DBLP DOI BibTeX RDF
30	Sungjoo Lee, Chanwoo Cho, Een-Kee Hong, Byungun Yoon	Forecasting mobile broadband traffic: Application of scenario analysis and Delphi method.	Expert Syst. Appl.	2016	DBLP DOI BibTeX RDF
30	Quang-Doanh Vu, Markku J. Juntti, Een-Kee Hong, Le-Nam Tran	Conic Quadratic Formulations for Wireless Communications Design.	CoRR	2016	DBLP BibTeX RDF
30	Quang-Doanh Vu, Le-Nam Tran, Ronan Farrell, Een-Kee Hong	Energy-Efficient Zero-Forcing Precoding Design for Small-Cell Networks.	IEEE Trans. Commun.	2016	DBLP DOI BibTeX RDF
30	Geoffrey Irving, Christian Szegedy, Alexander A. Alemi, Niklas Eén, François Chollet, Josef Urban	DeepMath - Deep Sequence Models for Premise Selection.	NIPS	2016	DBLP BibTeX RDF
30	Quang-Doanh Vu, Le-Nam Tran, Ronan Farrell, Een-Kee Hong	An Efficiency Maximization Design for SWIPT.	IEEE Signal Process. Lett.	2015	DBLP DOI BibTeX RDF
30	Vu Tran-Ha, Quang-Doanh Vu, Een-Kee Hong	Time Reversal-based Transmissions with Distributed Power Allocation for Two-Tier Networks.	CoRR	2015	DBLP BibTeX RDF
30	Quang-Doanh Vu, Le-Nam Tran, Markku J. Juntti, Een-Kee Hong	Energy-Efficient Bandwidth and Power Allocation for Multi-Homing Networks.	IEEE Trans. Signal Process.	2015	DBLP DOI BibTeX RDF
30	Chee Een Yap, Myung Ho Kim	Sensor Data Management for Driver Monitoring System.	IOV	2015	DBLP DOI BibTeX RDF
30	Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk	SAT-Based Strategy Extraction in Reachability Games.	AAAI	2015	DBLP DOI BibTeX RDF
30	Quoc-Tuan Vien, Huan Xuan Nguyen, Le-Nam Tran, Een-Kee Hong	Double-threshold based cooperative spectrum sensing over imperfect channels.	WCNC	2015	DBLP DOI BibTeX RDF
30	Vu Tran-Ha, Quang-Doanh Vu, Een-Kee Hong	Time Reversal-Based Transmissions with Distributed Power Allocation for Two-Tier Networks.	AINA Workshops	2015	DBLP DOI BibTeX RDF
30	Muhammad Hameed Siddiqi, Rahman Ali, Md. Sohel Rana 0003, Een-Kee Hong, Eun-Soo Kim, Sungyoung Lee	Video-Based Human Activity Recognition Using Multilevel Wavelet Decomposition and Stepwise Linear Discriminant Analysis.	Sensors	2014	DBLP DOI BibTeX RDF
30	Quang-Doanh Vu, Le-Nam Tran, Markku J. Juntti, Een-Kee Hong	Optimal Energy Efficient Resource Allocation for Heterogeneous Multi-Homing Networks.	VTC Spring	2014	DBLP DOI BibTeX RDF
30	Zilong Jin, Weidong Su, Jinsung Cho, Een-Kee Hong	An Analytic Model for the Optimal Number of Relay Stations in Two-Hop Relay Networks.	IEEE Commun. Lett.	2013	DBLP DOI BibTeX RDF
30	Alan Mishchenko, Niklas Eén, Robert K. Brayton, Jason Baumgartner, Hari Mony, Pradeep Kumar Nalla	GLA: gate-level abstraction revisited.	DATE	2013	DBLP DOI BibTeX RDF
30	Alan Mishchenko, Niklas Eén, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma	A semi-canonical form for sequential AIGs.	DATE	2013	DBLP DOI BibTeX RDF
30	Chee Een Yap, Myung Ho Kim	Instance-Based Ontology Matching with Rough Set Features Selection.	ICITCS	2013	DBLP DOI BibTeX RDF
30	Koen Claessen, Niklas Eén, Baruch Sterin	A circuit approach to LTL model checking.	FMCAD	2013	DBLP BibTeX RDF
30	Niklas Eén, Alan Mishchenko	A Fast Reparameterization Procedure.	DIFTS@FMCAD	2013	DBLP BibTeX RDF
30	Le-Nam Tran, Quoc-Tuan Vien, Een-Kee Hong	Unique word-based distributed space-time block codes for two-hop wireless relay networks.	IET Commun.	2012	DBLP DOI BibTeX RDF
30	Le-Nam Tran, Markku J. Juntti, Een-Kee Hong	On the Precoder Design for Block Diagonalized MIMO Broadcast Channels.	IEEE Commun. Lett.	2012	DBLP DOI BibTeX RDF
30	Sayak Ray, Alan Mishchenko, Niklas Eén, Robert K. Brayton, Stephen Jang, Chao Chen	Mapping into LUT structures.	DATE	2012	DBLP DOI BibTeX RDF
30	Quang-Doanh Vu, Een-Kee Hong	An improved coded cooperation scheme using hierarchical modulation.	ICTC	2012	DBLP DOI BibTeX RDF
30	Quoc-Tuan Vien, Le-Nam Tran, Een-Kee Hong	Network Coding-Based Retransmission for Relay Aided Multisource Multicast Networks.	EURASIP J. Wirel. Commun. Netw.	2011	DBLP DOI BibTeX RDF
30	Yongil Kwon, Doug Suh, Sung Kim, Een-Kee Hong	Application driven, AMC-based cross-layer optimization for video service over LTE.	EURASIP J. Wirel. Commun. Netw.	2011	DBLP DOI BibTeX RDF
30	Hoang D. T. Nguyen, Le-Nam Tran, Een-Kee Hong	On Transmission Efficiency for Wireless Broadcast Using Network Coding and Fountain Codes.	IEEE Commun. Lett.	2011	DBLP DOI BibTeX RDF
30	Niklas Eén, Alan Mishchenko, Robert K. Brayton	Efficient implementation of property directed reachability.	FMCAD	2011	DBLP BibTeX RDF
30	Jae Cheol Park, Yun Hee Kim, Een-Kee Hong, Iickho Song	A Game Theoretic Power Control Algorithm with Sequential Subchannel Nulling for Wireless Networks.	IEICE Trans. Commun.	2010	DBLP DOI BibTeX RDF
30	Quoc-Tuan Vien, Le-Nam Tran, Een-Kee Hong	Distributed Space-Time Block Code over Mixed Rayleigh and Rician Frequency-Selective Fading Channels.	EURASIP J. Wirel. Commun. Netw.	2010	DBLP DOI BibTeX RDF
30	Niklas Eén, Alan Mishchenko, Nina Amla	A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction	CoRR	2010	DBLP BibTeX RDF
30	Le-Nam Tran, Een-Kee Hong	Multiuser diversity for successive zero-forcing dirty paper coding: greedy scheduling algorithms and asymptotic performance analysis.	IEEE Trans. Signal Process.	2010	DBLP DOI BibTeX RDF
30	Roderick Jaehoon Whang, Huaping Liu, Een-Kee Hong	Multiuser Cooperative Relay Communication Employing Hierarchical Modulation.	VTC Spring	2010	DBLP DOI BibTeX RDF
30	Niklas Eén, Alan Mishchenko, Nina Amla	A single-instance incremental SAT formulation of proof- and counterexample-based abstraction.	FMCAD	2010	DBLP BibTeX RDF
30	Koen Claessen, Niklas Eén, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson	SAT-Solving in Practice, with a Tutorial Example from Supervisory Control.	Discret. Event Dyn. Syst.	2009	DBLP DOI BibTeX RDF
30	Le-Nam Tran, Een-Kee Hong, Huaping Liu	A frequency domain equalization algorithm for fast time-varying fading channels.	J. Commun. Networks	2009	DBLP DOI BibTeX RDF
30	Youngpil Song, Hyundong Shin, Een-Kee Hong	MIMO cooperative diversity with scalar-gain amplify-and-forward relaying.	IEEE Trans. Commun.	2009	DBLP DOI BibTeX RDF
30	Le-Nam Tran, Quoc-Tuan Vien, Een-Kee Hong	Training sequence-based distributed space-time block codes with frequency domain equalization.	PIMRC	2009	DBLP DOI BibTeX RDF
30	Quoc-Tuan Vien, Le-Nam Tran, Een-Kee Hong	Design of Distributed Space-Time Block Code for Two-Relay System over Frequency Selective Fading Channels.	GLOBECOM	2009	DBLP DOI BibTeX RDF
30	Le-Nam Tran, Een-Kee Hong, Huaping Liu	Two-stage hybrid decision feedback equalization for DS-CDMA systems.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
30	Le-Nam Tran, Een-Kee Hong	Unique Word Based Frequency Domain Equalization with Noise Prediction.	IEEE Commun. Lett.	2008	DBLP DOI BibTeX RDF
30	Trung Quang Duong, Hyundong Shin, Een-Kee Hong	Error Probability of Binary and M-ary Signals with Spatial Diversity in Nakagami-q (Hoyt) Fading Channels.	EURASIP J. Wirel. Commun. Netw.	2007	DBLP DOI BibTeX RDF
30	Trung Quang Duong, Hyundong Shin, Een-Kee Hong	Effect of Line-of-Sight on Dual-Hop Nonregenerative Relay Wireless Communications.	VTC Fall	2007	DBLP DOI BibTeX RDF
30	Le-Nam Tran, Een-Kee Hong, Huaping Liu	New Hybrid Decision Feedback Equalization for DS-CDMA Systems.	WCNC	2007	DBLP DOI BibTeX RDF
30	Niklas Eén, Alan Mishchenko, Niklas Sörensson	Applying Logic Synthesis for Speeding Up SAT.	SAT	2007	DBLP DOI BibTeX RDF
30	Een-Kee Hong, Sang Hyuck Yun, Jeong Geun Kim	On the carrier spacing for mobile multimedia systems.	J. Commun. Networks	2006	DBLP DOI BibTeX RDF
30	Niklas Eén, Niklas Sörensson	Translating Pseudo-Boolean Constraints into SAT.	J. Satisf. Boolean Model. Comput.	2006	DBLP DOI BibTeX RDF
30	Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton, Niklas Eén	Improvements to combinational equivalence checking.	ICCAD	2006	DBLP DOI BibTeX RDF
30	Hyong Rock Park, Dongwoo Kim 0001, Een-Kee Hong	Prioritized Call Admission Design for Providing Video Telephone Services in WCDMA Networks.	IEICE Trans. Commun.	2005	DBLP DOI BibTeX RDF
30	Trung Quang Duong, Een-Kee Hong, Sung Y. Lee	Effect of the modified channel matrix on the MMSE V-BLAST system performance.	WiMob (1)	2005	DBLP DOI BibTeX RDF
30	Niklas Eén, Armin Biere	Effective Preprocessing in SAT Through Variable and Clause Elimination.	SAT	2005	DBLP DOI BibTeX RDF
30	Trung Quang Duong, Hoang Trang, Een-Kee Hong, Sung Y. Lee	Performance Evaluation of the V-BLAST System under Correlated Fading Channels.	AICT/SAPIR/ELETE	2005	DBLP DOI BibTeX RDF
30	Niklas Eén	SAT Based Model Checking.		2005	RDF
30	Jeong Geun Kim, Een-Kee Hong	Opportunistic Scheduling for QoS Guarantees in 3G Wireless Links. (PDF / PS)	PWC	2004	DBLP DOI BibTeX RDF
30	Niklas Eén, Niklas Sörensson	Temporal induction by incremental SAT solving.	BMC@CAV	2003	DBLP DOI BibTeX RDF
30	Niklas Eén, Niklas Sörensson	An Extensible SAT-solver.	SAT	2003	DBLP DOI BibTeX RDF
30	Ki Jun Kim, Soon Yil Kwon, Een-Kee Hong, Keum-Chan Whang	Effect of tap spacing on the performance of direct-sequence spread-spectrum RAKE receiver.	IEEE Trans. Commun.	2000	DBLP DOI BibTeX RDF
30	Parosh Aziz Abdulla, Per Bjesse, Niklas Eén	Symbolic Reachability Analysis Based on SAT-Solvers.	TACAS	2000	DBLP DOI BibTeX RDF
30	Een-Kee Hong, Seung-Hoon Hwang, Ki Jun Kim, Keum-Chan Whang	Synchronous transmission technique for the reverse link in DS-CDMA terrestrial mobile systems.	IEEE Trans. Commun.	1999	DBLP DOI BibTeX RDF
30	Ki Jun Kim, Soon Yil Kwon, Een-Kee Hong, Keum-Chan Whang	Comments on "Comparison of diversity combining techniques for Rayleigh-fading channels".	IEEE Trans. Commun.	1998	DBLP DOI BibTeX RDF
27	Ruben Verhack	Steered mixture-of-experts for image and light field representation, processing, and coding: a universal approach for immersive experiences of camera-captured scenes = Steered mixture-of-experts' voor de representatie, verwerking en codering van beelden en lichtvelden: een universele aanpak voor immersieve belevingen op basis van camerabeelden.		2020	RDF
27	Joran van der Sluis, Wessel Fletterman, Mark P. Zwart	App een oma (penpal).	Interactions	2019	DBLP DOI BibTeX RDF
27	Laurens Lemaire	FAST-CPS: A Framework for the Analysis and Management of Security in Cyber-Physical Systems ; FAST-CPS: Een Architectuur voor de Analyse en het Beheer van Veiligheid in Cyber- Fysische Systemen. (PDF / PS)		2018	RDF
27	Muhammad Usman Iftikhar	A Model-Based Approach to Engineer Self-Adaptive Systems with Guarantees ; Een model-gebaseerde aanpak voor het ontwikkelen van zelf-adaptieve systemen met garanties. (PDF / PS)		2017	RDF
27	Amin Ardeshirdavani	A Development Framework for Data Analytics in Genomics ; Een ontwikkelingskader voor data-analyse in Genomica.		2017	RDF
27	Kristof Van Beeck	The automatic blind spot camera: hard real-time detection of moving objects from a moving camera ; De automatische dodehoekcamera: hard real-time detectie van bewegende objecten vanaf een bewegende camera.		2016	RDF
27	Laura F. Bringmann	Dynamical networks in psychology: More than a pretty picture? ; Dynamische netwerken in de psychologie: Meer dan een mooi plaatje?		2016	RDF
27	Pieter Van Hertum	New Language Constructs and Inferences for the Knowledge Base Paradigm: A Business and Multi-agent Perspective ; Taaluitbreidingen en nieuwe inferenties voor het kennisbank paradigma vanuit een Business en Multi-Agent perspectief. (PDF / PS)		2016	RDF
27	Klaas Thoelen	An Application Platform for Multi-purpose Sensor Systems ; Een applicatieplatform voor sensorsystemen met meerdere doeleinden. (PDF / PS)		2016	RDF
27	Arun Kishore Ramakrishnan	Support for Data-driven Context Awareness in Smart Mobile and IoT Applications: Resource Efficient Probabilistic Models and a Quality-aware Middleware Architecture ; Ondersteuning voor data-gedreven context-bewustzijn in intelligente mobiele en IoT applicaties: Hulpbronnenefficiënte probabilistische modellen en een kwaliteit-aware middleware architectuur. (PDF / PS)		2016	RDF
27	Mostafa Haghir Chehreghani	A Theory-based Study of Graph Mining ; Een theoretische studie van graph mining. (PDF / PS)		2016	RDF
27	Bart Bogaerts 0001	Groundedness in Logics with a Fixpoint Semantics; Gegrondheid in logicas met een vaste-puntssemantiek. (PDF / PS)		2015	RDF
27	Till Nagel	Unfolding Data: Software and Design Approaches to Support Casual Exploration of Tempo-spatial Data on Interactive Tabletops ; Unfolding data: Ontwerp en ontwikkeling van interactieve toepassingen voor het exploreren van tijd-ruimtelijke data op een tabletop. (PDF / PS)		2015	RDF
27	Dimitar Sht. Shterionov	Design and Development of Probabilistic Inference Pipelines ; Ontwerp en ontwikkeling van een pijpleiding architectuur voor probabilistische inferentie. (PDF / PS)		2015	RDF
27	Jef Maerien	A Security Framework for Shared Networked Embedded Systems ; Een beveiligingsraamwerk voor gedeelde genetwerkte ingebedde systemen. (PDF / PS)		2015	RDF
27	Lukas Wittevrongel	A self adaptive algorithm for accurate strain measurements using global digital image correlation ; Een zelfcorrigerend algoritme voor nauwkeurige rekmetingen met behulp van globale digitale beeldcorrelatie. (PDF / PS)		2015	RDF
27	Nadira Benlahrache	Définition d'un Modèle de Déploiement d'une Architecture logicielle à base de BRS. (Definitie van een modelgebaseerd BRS voor implementatie van software-architectuur / Definition of a Model based BRS for Software Architecture Deployment / Definición de un BRS basado en modelo para la implementación de arquitectura de software / Definizione di un BRS basato su modello per la distribuzione dell'architettura software).		2014	RDF
27	Alireza Gholipouresbouee	A New Method for Analyzing Plasmonic Circuits using Integral Equation Techniques (Een nieuwe methode voor de analyse van plasmonische circuits met de integraalvergelijkingsmethode. (PDF / PS)		2014	RDF