Search results for "Prism"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Takuhiro Kagawa, Sachio Saiki, Masahide Nakamura	PRISM: Visualizing Personalized Real-Time Incident on Security Map.	Int. J. Softw. Innov.	2018	DBLP DOI BibTeX RDF
16	Yuanbo Tao, Sihai Li, Shiming Liu	Analysis and Improvement of Frequency Stabilization Characteristics of a Total Reflection Prism Laser Gyro.	IEEE Access	2018	DBLP DOI BibTeX RDF
16	Wenyuan Liu, Siyang Wang, Lin Wang 0023, Binbin Li, Xing Su, Nan Jing	From Lens to Prism: Device-Free Modeling and Recognition of Multi-Part Activities.	IEEE Access	2018	DBLP DOI BibTeX RDF
16	Kwon Lee, Taeuk Jeong, Seongyoun Woo, Chulhee Lee	Octagonal prism LBP representation for face recognition.	Multim. Tools Appl.	2018	DBLP DOI BibTeX RDF
16	Ryosuke Kojima, Taisuke Sato	Learning to rank in PRISM.	Int. J. Approx. Reason.	2018	DBLP DOI BibTeX RDF
16	Samer Abdallah	PRISM revisited: Declarative implementation of a probabilistic programming language using multi-prompt delimited control.	Int. J. Approx. Reason.	2018	DBLP DOI BibTeX RDF
16	Joachim Klein 0001, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller 0001	Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.	Int. J. Softw. Tools Technol. Transf.	2018	DBLP DOI BibTeX RDF
16	Marta Kwiatkowska, David Parker 0001, Clemens Wiltsche	PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives.	Int. J. Softw. Tools Technol. Transf.	2018	DBLP DOI BibTeX RDF
16	Haley Adams, Gayathri Narasimham, John J. Rieser, Sarah H. Creem-Regehr, Jeanine K. Stefanucci, Bobby Bodenheimer	Locomotive Recalibration and Prism Adaptation of Children and Teens in Immersive Virtual Environments.	IEEE Trans. Vis. Comput. Graph.	2018	DBLP DOI BibTeX RDF
16	Keiichiro Hayakawa, Eiji Hato	Dynamic traffic resources allocation under elastic demand of users with space-time prism constraints.	CoRR	2018	DBLP BibTeX RDF
16	Radoslaw Michalski, Boleslaw K. Szymanski, Przemyslaw Kazienko, Christian Lebiere, Omar Lizardo, Marcin Kulisiewicz	Social Networks through the Prism of Cognition.	CoRR	2018	DBLP BibTeX RDF
16	Saad Ihsan Butt, Muhammad Numan, Inayat Ali Shah, Sartaj Ali	Face labelings of type (1, 1, 1) for generalized prism.	Ars Comb.	2018	DBLP BibTeX RDF
16	Rommel M. Barbosa, Márcia R. Cappelle, Erika M. M. Coelho	Maximal independent sets in complementary prism graphs.	Ars Comb.	2018	DBLP BibTeX RDF
16	Jieyu Wang, Yan-an Yao, Xianwen Kong	A reconfigurable tri-prism mobile robot with eight modes.	Robotica	2018	DBLP DOI BibTeX RDF
16	Chenggang Zhu, Bilin Ge, Ru Chen, Xiangdong Zhu, Lan Mi, Jiong Ma, Xu Wang, Fengyun Zheng, Yiyan Fei	Fast Focal Point Correction in Prism-Coupled Total Internal Reflection Scanning Imager Using an Electronically Tunable Lens.	Sensors	2018	DBLP DOI BibTeX RDF
16	Qiang-Hui Guo, Jian Wang 0092, Zhao Xu	Approximation Algorithms for Protein Folding in the Hydrophobic-Polar Model on 3D Hexagonal Prism Lattice.	J. Comput. Biol.	2018	DBLP DOI BibTeX RDF
16	Maria Chudnovsky, Frédéric Maffray, Paul D. Seymour, Sophie Spirkl	Corrigendum to "Even pairs and prism corners in square-free Berge graphs" [J. Combin. Theory, Ser. B 131 (2018) 12-39].	J. Comb. Theory, Ser. B	2018	DBLP DOI BibTeX RDF
16	Maria Chudnovsky, Frédéric Maffray, Paul D. Seymour, Sophie Spirkl	Even pairs and prism corners in square-free Berge graphs.	J. Comb. Theory, Ser. B	2018	DBLP DOI BibTeX RDF
16	Anna Weigandt, Alexander Yong	The Prism tableau model for Schubert polynomials.	J. Comb. Theory, Ser. A	2018	DBLP DOI BibTeX RDF
16	Hung-Lin Hsieh, Ju-Yi Lee, Bo-Yen Sun, Gang-Yu Fan	2-DOF in-Plane Displacement Measurement by Wollaston Prism-based Interferometer.	MESA	2018	DBLP DOI BibTeX RDF
16	Manus P. Henry, Vladimir V. Sinitsin	Prism signal processing for machine condition monitoring I: Design and simulation.	ICPS	2018	DBLP DOI BibTeX RDF
16	Manus P. Henry, Vladimir V. Sinitsin	Prism signal processing for machine condition monitoring II: Experimental data and fault detection.	ICPS	2018	DBLP DOI BibTeX RDF
16	Satya Kuppam	Modelling of Quantum Key Distribution Protocols in Communicating Quantum Processes Language with Verification and Analysis in PRISM.	SIMULTECH	2018	DBLP DOI BibTeX RDF
16	Justin W. Hart, Rishi Shah, Sean Kirmani, Nick Walker 0001, Kathryn Baldauf, Nathan John, Peter Stone	PRISM: Pose Registration for Integrated Semantic Mapping.	IROS	2018	DBLP DOI BibTeX RDF
16	Alexander S. Machikhin, Vladislav I. Batshev, Alexey V. Gorevoy, Demid D. Khokhlov, Alexey A. Bykov	A miniature prism-based stereoscopic system for 3D machine vision applications.	ICMV	2018	DBLP DOI BibTeX RDF
16	Nam Le 0002, Michael O'Neill 0001, Anthony Brabazon	The Baldwin Effect Reconsidered Through the Prism of Social Learning.	CEC	2018	DBLP DOI BibTeX RDF
16	John Owen, Manus P. Henry	384 TMAC/s FIR filtering on an Artix-7 FPGA using Prism signal processing.	IECON	2018	DBLP DOI BibTeX RDF
16	Manus P. Henry	Ultra narrowband filtering with Prism signal processing: Design and simulation.	IECON	2018	DBLP DOI BibTeX RDF
16	Adam Abdelatif, Nikolaus Anderson, Oscar Hernandez, Jeffrey Czapla-Myers	Prism spectrometer analysis for field use.	Earth Observing Systems	2018	DBLP DOI BibTeX RDF
16	Volodymyr Dziubak, Andrea Bunt	Prism: Enhancing Graphic Designers' Visual Research with Interactive Search Trails.	Conference on Designing Interactive Systems	2018	DBLP DOI BibTeX RDF
16	Ridima Ramesh, Xueyang Wang, Daniel Wolpow, Yidi Zhu, Yutian Zheng, Michael G. Christel, Scott Stevens	Prism, a Game to Promote Autism Acceptance Among Elementary School Students.	JCSG	2018	DBLP DOI BibTeX RDF
16	Michela Meister, Gregory Valiant	A Data Prism: Semi-verified learning in the small-alpha regime.	COLT	2018	DBLP BibTeX RDF
16	Ruben Giaquinta, Ruth Hoffmann, Murray L. Ireland, Alice Miller 0001, Gethin Norman	Strategy Synthesis for Autonomous Agents Using PRISM.	NFM	2018	DBLP DOI BibTeX RDF
16	Cham Kalra, Fritz Previlon, Xiangyu Li, Norman Rubin, David R. Kaeli	PRISM: predicting resilience of GPU applications using statistical methods.	SC	2018	DBLP BibTeX RDF
16	Byron E. Engler, Steve Weddell, Richard Clare	A Digital Prism Wavefront Sensor for Ground-Based Astronomical Image Correction.	IVCNZ	2018	DBLP DOI BibTeX RDF
16	Junichi Takaku, Takeo Tadono, Ken Tsutsui, Mayumi Ichikawa	Quality Improvements of 'AW3D' Global Dsm Derived from Alos Prism.	IGARSS	2018	DBLP DOI BibTeX RDF
16	Akira Fujii, Makoto Fujimura, Toshio Higashi	Virtual Environment of Prism Adaptation for Unilateral Spatial Neglect.	GCCE	2018	DBLP DOI BibTeX RDF
16	Hailu Yuan, Bingting Zha, Zhen Zheng, Deli Wang	Optimization design of multi-sided reflecting prism in laser line scanning imaging system.	ICIA	2018	DBLP DOI BibTeX RDF
16	Fatima Chiroma, Han Liu 0002, Mihaela Cocea	Suiciderelated Text Classification With Prism Algorithm.	ICMLC	2018	DBLP DOI BibTeX RDF
16	Bart Kuijpers	Space-Time Prism Model.	Encyclopedia of GIS	2017	DBLP DOI BibTeX RDF
16		Prism, Network Time.	Encyclopedia of GIS	2017	DBLP DOI BibTeX RDF
16		Prism, Space-Time.	Encyclopedia of GIS	2017	DBLP DOI BibTeX RDF
16		Space-Time Prism.	Encyclopedia of GIS	2017	DBLP DOI BibTeX RDF
16	Rajesh Piryani, Vedika Gupta, Vivek Kumar Singh 0001	Movie Prism: A novel system for aspect level sentiment profiling of movies.	J. Intell. Fuzzy Syst.	2017	DBLP DOI BibTeX RDF
16	Yang Cui 0004, Qingquan Li, Qingyuan Li, Jiasong Zhu, Chisheng Wang, Kai Ding 0005, Dan Wang, Bisheng Yang	A Triangular Prism Spatial Interpolation Method for Mapping Geological Property Fields.	ISPRS Int. J. Geo Inf.	2017	DBLP DOI BibTeX RDF
16	Tiago L. Rodrigues, Edson A. Mitishita, Luiz Ferreira, Antonio M. G. Tommaselli	Accuracy Improvements in the Orientation of ALOS PRISM Images Using IOP Estimation and UCL Kepler Platform Model.	Remote. Sens.	2017	DBLP DOI BibTeX RDF
16	Wael Hadi, Ghassan Issa, Abdelraouf Ishtaiwi	ACPRISM: Associative classification based on PRISM algorithm.	Inf. Sci.	2017	DBLP DOI BibTeX RDF
16	Guorui Jia, Andreas Hueni, Michael E. Schaepman, Huijie Zhao	Detection and Correction of Spectral Shift Effects for the Airborne Prism Experiment.	IEEE Trans. Geosci. Remote. Sens.	2017	DBLP DOI BibTeX RDF
16	Muhammad Ajmal, Waqas Nazeer, Mobeen Munir, Shin Min Kang, Young Chel Kwun	Some Algebraic Polynomials and Topological Indices of Generalized Prism and Toroidal Polyhex Networks.	Symmetry	2017	DBLP DOI BibTeX RDF
16	Jolanta Dzwierzynska	Computer-Aided Panoramic Images Enriched by Shadow Construction on a Prism and Pyramid Polyhedral Surface.	Symmetry	2017	DBLP DOI BibTeX RDF
16	Xiangyang Cui, She Li, Hui Feng 0003, Guangyao Li	A triangular prism solid and shell interactive mapping element for electromagnetic sheet metal forming process.	J. Comput. Phys.	2017	DBLP DOI BibTeX RDF
16	Zong Qin	Luminance enhancement without sacrificing the viewing angle in a direct-lit backlight by addressing the angle-dependent characteristic of the prism film.	Displays	2017	DBLP DOI BibTeX RDF
16	Ziming Zhang, Venkatesh Saligrama	PRISM: Person Reidentification via Structured Matching.	IEEE Trans. Circuits Syst. Video Technol.	2017	DBLP DOI BibTeX RDF
16	Michael A. Skinnider, Nishanth J. Merwin, Chad W. Johnston, Nathan A. Magarvey	PRISM 3: expanded prediction of natural product chemical structures from microbial genomes.	Nucleic Acids Res.	2017	DBLP DOI BibTeX RDF
16	Cunchao Tu, Zhiyuan Liu 0001, Huanbo Luan, Maosong Sun 0001	PRISM: Profession Identification in Social Media.	ACM Trans. Intell. Syst. Technol.	2017	DBLP DOI BibTeX RDF
16	Michela Meister, Gregory Valiant	A Data Prism: Semi-Verified Learning in the Small-Alpha Regime.	CoRR	2017	DBLP BibTeX RDF
16	Robert E. L. Aldred, Michael D. Plummer	Matching extension in prism graphs.	Discret. Appl. Math.	2017	DBLP DOI BibTeX RDF
16	Adnane Habib, Nadia Akdim, Fatima-ezzahra El Ghandour, Kamal Labbassi, Kourosh Khoshelham, Massimo Menenti	Extraction and accuracy assessment of high-resolution DEM and derived orthoimages from ALOS-PRISM data over Sahel-Doukkala (Morocco).	Earth Sci. Informatics	2017	DBLP DOI BibTeX RDF
16	Wenjun Huang, Yingmei Qi, Fuxing Yi, Dewen Li, Hao Wang	Multi-aiming strategy design for quadruple prism shaped central receiver in solar power tower system.	IEEE CAA J. Autom. Sinica	2017	DBLP DOI BibTeX RDF
16	Tatjana Kapus	Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks.	Simul. Model. Pract. Theory	2017	DBLP DOI BibTeX RDF
16	Seung-Hwan Baek, Incheol Kim, Diego Gutierrez, Min H. Kim 0001	Compact single-shot hyperspectral imaging using a prism.	ACM Trans. Graph.	2017	DBLP DOI BibTeX RDF
16	Xiaoyu Cui, Heyu Fan, Hongsheng Chen, Shuo Chen 0005, Yue Zhao, Kah-Bin Lim 0001	Epipolar geometry for prism-based single-lens stereovision.	Mach. Vis. Appl.	2017	DBLP DOI BibTeX RDF
16	Haoyu Liu, Huahu Xu, Honghao Gao, Minjie Bian, Huaikou Miao	An Novel Approach to Evaluate the Reliability of Cloud Rendering System Using Probabilistic Model Checker PRISM: A Quantitative Computing Perspective.	MobiQuitous	2017	DBLP DOI BibTeX RDF
16	Jiyoung Song, Young Min Baek, Mingyu Jin, Eunkyoung Jee, Doo-Hwan Bae	SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS.	APSEC	2017	DBLP DOI BibTeX RDF
16	Thomas U. Kampe, William S. Good	Pathway to future sustainable land imaging: the compact hyperspectral prism spectrometer.	Earth Observing Systems	2017	DBLP DOI BibTeX RDF
16	Justin M. Haag, Byron E. Van Gorp, Pantazis Mouroulis, David R. Thompson 0001	Radiometric and spectral stray light correction for the portable remote imaging spectrometer (PRISM) coastal ocean sensor.	Earth Observing Systems	2017	DBLP DOI BibTeX RDF
16	Manus P. Henry, Oleg Yu. Bushuev, Olga L. Ibryaeva	Prism signal processing for sensor condition monitoring.	ISIE	2017	DBLP DOI BibTeX RDF
16	Manal Almutairi, Frederic T. Stahl, Max Bramer	Improving Modular Classification Rule Induction with G-Prism Using Dynamic Rule Term Boundaries.	SGAI Conf.	2017	DBLP DOI BibTeX RDF
16	Alexander Vandenbroucke, Tom Schrijvers	From PRISM to ProbLog and Back Again.	PLP@ILP	2017	DBLP BibTeX RDF
16	Guangyao Liu, Kuanping Shang, Siwei Li, Tiehui Su, Yu Zhang 0099, Shaoqi Feng, Roberto Proietti, S. J. Ben Yoo, Vladimir Ilchenko, Wei Liang, Anatoliy Savchenkov, Andrey Matsko, Lute Maleki	Low-loss on-chip prism-waveguide coupler to high-Q micro-resonator and optical frequency comb generation.	OFC	2017	DBLP BibTeX RDF
16	Qing Li, Qingyuan Li, Xiaolu Liu, Zhubin Wei, Qianlin Dong	Isosurface Algorithm Based on Generalized Three Prism Voxel.	IGTA	2017	DBLP DOI BibTeX RDF
16	Maryam Rahmani, Junsup Song, Moonkun Lee	PRISM: A Knowledge Engineering Tool to Model Collective Behaviors of Real-time IoT Systems.	PrOse@PoEM	2017	DBLP BibTeX RDF
16	Yutaro Hayakawa, Lars Eggert, Michio Honda, Douglas Santry	Prism: a proxy architecture for datacenter networks.	SoCC	2017	DBLP DOI BibTeX RDF
16	Junichi Takaku, Takeo Tadono	Quality updates of 'AW3D' global DSM generated from ALOS PRISM.	IGARSS	2017	DBLP DOI BibTeX RDF
16	Riccardo Bonazzi, Gianluigi Viscusi, Valérie Barbey	Crowd and Experts' Knowledge: Connection and Value Through the Notion of Prism.	EMCIS	2017	DBLP DOI BibTeX RDF
16	Takuhiro Kagawa, Sachio Saiki, Masahide Nakamura	Visualizing and analyzing street crimes using personalized security information service PRISM.	iiWAS	2017	DBLP DOI BibTeX RDF
16	Bobby Bodenheimer, Sarah H. Creem-Regehr, Jeanine K. Stefanucci, Elena Shemetova, William B. Thompson	Prism aftereffects for throwing with a self-avatar in an immersive virtual environment.	VR	2017	DBLP DOI BibTeX RDF
16	Bart Kuijpers, Bart Moelans, Walied Othman, Alejandro A. Vaisman	Uncertainty-Based Map Matching: The Space-Time Prism and k-Shortest Path Algorithm.	ISPRS Int. J. Geo Inf.	2016	DBLP DOI BibTeX RDF
16	Fizza Abbas, Ubaidullah Rajput, Heekuck Oh	PRISM: PRivacy-Aware Interest Sharing and Matching in Mobile Social Networks.	IEEE Access	2016	DBLP DOI BibTeX RDF
16	Xiaoyu Xu, Zhuoxiang Ren, Hui Qu, Dan Ren	3-D IC Interconnect Capacitance Extraction Using Dual Discrete Geometric Methods With Prism Elements.	IEEE Trans. Very Large Scale Integr. Syst.	2016	DBLP DOI BibTeX RDF
16	Yu Zhou, Tung Fung, Yee Leung	Improved triangular prism methods for fractal analysis of remotely sensed images.	Comput. Geosci.	2016	DBLP DOI BibTeX RDF
16	Christopher R. Madan	Prism: Multiple spline regression with regularization, dimensionality reduction, and feature selection.	J. Open Source Softw.	2016	DBLP DOI BibTeX RDF
16	Jia-Bao Liu, Jinde Cao, Abdulaziz Alofi, Abdullah Al-Mazrooei, Ahmed M. Elaiw	Applications of Laplacian spectra for n-prism networks.	Neurocomputing	2016	DBLP DOI BibTeX RDF
16	João Batista Florindo, Odemir M. Bruno	Fractal Descriptors of Texture Images Based on the Triangular Prism Dimension.	CoRR	2016	DBLP BibTeX RDF
16	Lubos Korenciak, Vojtech Rehák, Adrian Farmadin	Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC.	CoRR	2016	DBLP BibTeX RDF
16	Ruth Hoffmann, Murray L. Ireland, Alice Miller 0001, Gethin Norman, Sandor M. Veres	Autonomous Agent Behaviour Modelled in PRISM - A Case Study.	CoRR	2016	DBLP BibTeX RDF
16	Anuroop Kuppam	Modelling BB84, B92 in CQP and Analysing in PRISM Model Checker.	CoRR	2016	DBLP BibTeX RDF
16	Yongning Liu, Jun Chang, Jie Lian, Zhaojun Liu, Qiang Wang 0025, Zengguang Qin	Quartz-Enhanced Photoacoustic Spectroscopy with Right-Angle Prism.	Sensors	2016	DBLP DOI BibTeX RDF
16	Nawarat Ananchuen, Watcharaphong Ananchuen, Akira Saito	Extendability of the complementary prism of bipartite graphs.	Australas. J Comb.	2016	DBLP BibTeX RDF
16	Joon Wan Kim, Thanh V. X. Nguyen, Kazuya Edamura, Shinichi Yokota	Triangular Prism and Slit Electrode Pair for ECF Jetting Fabricated by Thick Micromold and Electroforming as Micro Hydraulic Pressure Source for Soft Microrobots.	Int. J. Autom. Technol.	2016	DBLP DOI BibTeX RDF
16	Maulik R. Kamdar, Michelle J. Wu	PRISM: A Data-Driven Platform for Monitoring Mental Health.	PSB	2016	DBLP BibTeX RDF
16	Walter R. Boot, Joseph Sharit, Sara J. Czaja, Neil Charness, Wendy A. Rogers	Exploring the Relationship Between Computer Proficiency and Computer Use Over Time in the PRISM Trial.	HCI (25)	2016	DBLP DOI BibTeX RDF
16	Lilly Kumari, Sunny Dhamnani, Akshat Bhatnagar, Atanu R. Sinha, Ritwik Sinha	Audience Prism: Segmentation and Early Classification of Visitors Based on Reading Interests.	CODS	2016	DBLP DOI BibTeX RDF
16	Ruth Hoffmann, Murray L. Ireland, Alice Miller 0001, Gethin Norman, Sandor M. Veres	Autonomous Agent Behaviour Modelled in PRISM - A Case Study.	SPIN	2016	DBLP DOI BibTeX RDF
16	Marcin Copik, Artur Rataj, Bozena Wozna-Szczesniak	A GPGPU-based Simulator for Prism: Statistical Verification of Results of PMC (extended abstract).	CS&P	2016	DBLP BibTeX RDF
16	Harvey J. Miller, Martin Raubal, Young Jaegal	Measuring Space-Time Prism Similarity Through Temporal Profile Curves.	AGILE Conf.	2016	DBLP DOI BibTeX RDF
16	Raffaele Conforti, Sven Fink, Jonas Manderscheid, Maximilian Röglinger	PRISM - A Predictive Risk Monitoring Approach for Business Processes.	BPM	2016	DBLP DOI BibTeX RDF
16	Lubos Korenciak, Vojtech Rehák, Adrian Farmadin	Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC.	IFM	2016	DBLP DOI BibTeX RDF
16	Diego Rodrigues, José Benedito Sacomano, Nilo Costa Serpa, Demesio Sousa	The Profile of High-Tech Start-Ups: An Approach by the Prism of Graphical Analysis of Network Relations.	APMS	2016	DBLP DOI BibTeX RDF
16	Elizangela Maria Menegassi de Lima, Fabio Papalardo, José Benedito Sacomano, Priscila Facciolli Tavares, Esdras Jorge Santos Barboza	Effectiveness of Production Planning and Control (PPC) in a Baby Fashion Cluster, Under the Prism of Paraconsistent Logic.	APMS	2016	DBLP DOI BibTeX RDF