Search results for "Prism"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Carson J. Q. Farmer, Carsten Keßler	Hierarchical Prism Trees for Scalable Time Geographic Analysis.	GIScience	2016	DBLP DOI BibTeX RDF
16	Marta Kwiatkowska, David Parker 0001, Clemens Wiltsche	PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games.	TACAS	2016	DBLP DOI BibTeX RDF
16	Milan Ceska 0002, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska	PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems.	TACAS	2016	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 Symbolic Probabilistic Model Checking with PRISM.	TACAS	2016	DBLP DOI BibTeX RDF
16	Yingtuo Wang, Tian Liu, Shuyin Li, Jue Wang 0016	Using electroencephalogram spectral components to assess visual fatigue caused by sustained prism-induced diplopia.	CISP-BMEI	2016	DBLP DOI BibTeX RDF
16	Dongwon Seo, Donghwan Shin 0001, Young Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae	Modeling and verification for different types of system of systems using PRISM.	SESoS@ICSE	2016	DBLP DOI BibTeX RDF
16	Anna E. Yankovskaya, Yury Dementyev, Artem Yamshanov, Danil Lyapunov	Students Learning Results Prediction with Usage of Mixed Diagnostic Tests and 2-Simplex Prism.	IDP	2016	DBLP DOI BibTeX RDF
16	Junichi Takaku, Akira Iwasaki, Takeo Tadono	Adaptive filter for improving quality of ALOS PRISM DSM.	IGARSS	2016	DBLP DOI BibTeX RDF
16	Qi Zhang 0008, Mohamed Faten Zhani, Yuke Yang, Raouf Boutaba, Bernard Wong 0001	PRISM: Fine-Grained Resource-Aware Scheduling for MapReduce.	IEEE Trans. Cloud Comput.	2015	DBLP DOI BibTeX RDF
16	Frederic T. Stahl, David May 0004, Hugo Mills, Max Bramer, Mohamed Medhat Gaber	A Scalable Expressive Ensemble Learning Using Random Prism: A MapReduce Approach.	Trans. Large Scale Data Knowl. Centered Syst.	2015	DBLP DOI BibTeX RDF
16	Hiroshi Yamamoto, Hiroshi Ito 0005	Millimeter-Wave Ellipsometry Using Interface-Planarization Prism.	IEICE Trans. Electron.	2015	DBLP DOI BibTeX RDF
16	Takeshi Motohka, Toshiya Yoshida, Hideaki Shibata, Takeo Tadono, Masanobu Shimada	Mapping Aboveground Biomass in Northern Japanese Forests Using the ALOS PRISM Digital Surface Model.	IEEE Trans. Geosci. Remote. Sens.	2015	DBLP DOI BibTeX RDF
16	Waleed Alsanie, James Cussens	Learning failure-free PRISM programs.	Int. J. Approx. Reason.	2015	DBLP DOI BibTeX RDF
16	Thomas Q. Wang, Roger J. Green, Jean Armstrong	MIMO Optical Wireless Communications Using ACO-OFDM and a Prism-Array Receiver.	IEEE J. Sel. Areas Commun.	2015	DBLP DOI BibTeX RDF
16	Stanislav Sobolevsky, Izabela Sitko, Remi Tachet des Combes, Bartosz Hawelka, Juan Murillo Arias, Carlo Ratti	Cities through the Prism of People's Spending Behavior.	CoRR	2015	DBLP BibTeX RDF
16	Oliver Meister, Michael Bader	2D adaptivity for 3D problems: Parallel SPE10 reservoir simulation on dynamically adaptive prism grids.	J. Comput. Sci.	2015	DBLP DOI BibTeX RDF
16	Boon-Siew Seah, Sourav S. Bhowmick, Aixin Sun	PRISM: Concept-preserving Summarization of Top-K Social Image Search Results. (PDF / PS)	Proc. VLDB Endow.	2015	DBLP DOI BibTeX RDF
16	Taisuke Sato, Keiichi Kubota	Viterbi training in PRISM.	Theory Pract. Log. Program.	2015	DBLP DOI BibTeX RDF
16	Michael Fraboni, Madison Zebrine	The birank number of ladder, prism and Mobius ladder graphs.	Australas. J Comb.	2015	DBLP BibTeX RDF
16	Takaaki Itoh, Shoma Matsunaga, Nobuhiro Okada	Development of the laser beam scanner which uses the prism cube mirror with DMD.	CCA	2015	DBLP DOI BibTeX RDF
16	Soon-gi Park, Chang-Kun Lee, Byoungho Lee	Compact multi-projection 3D display using a wedge prism.	SD&A	2015	DBLP DOI BibTeX RDF
16	Márcio Antônio Duarte, Lucia Draque Penso, Dieter Rautenbach, Uéverton S. Souza	The P3-Convexity in the Complementary Prism of a Graph.	CTW	2015	DBLP BibTeX RDF
16	Jing Li	Network Information Security Challenges and Relevant Strategic Thinking as Highlighted by "PRISM".	ICCCS	2015	DBLP DOI BibTeX RDF
16	D. Resty, A. N. M. Salman	The Rainbow Connection Number of an n-Crossed Prism Graph and its Corona Product with a Trivial Graph.	ICGTIS	2015	DBLP DOI BibTeX RDF
16	Nai-Hsuan Lin, Shwu-Huoy Tzou	Traditional Western Art Elements in Disney Animations, Elite Influence in Mass Culture Through the Prism of the Frankfurt School.	HCI (13)	2015	DBLP DOI BibTeX RDF
16	Ben A. Parslow, Bernard J. E. Evans, David C. O'Carroll, Steven D. Wiederman	Multi-focal video fusion with a beam splitter prism.	IPTA	2015	DBLP DOI BibTeX RDF
16	Miki Miyauchi	Topological Graph Layouts into a Triangular Prism.	JCDCGG	2015	DBLP DOI BibTeX RDF
16	Cunchao Tu, Zhiyuan Liu 0001, Maosong Sun 0001	PRISM: Profession Identification in Social Media with Personal Information and Community Structure.	SMP	2015	DBLP DOI BibTeX RDF
16	Reema Patel, Kevin Patel, Dhiren R. Patel	ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM.	TAMC	2015	DBLP DOI BibTeX RDF
16	Usman Pervez, Asiah Mahmood, Osman Hasan, Khalid Latif 0001, Amjad Gawanmeh	Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM.	HealthCom	2015	DBLP DOI BibTeX RDF
16	Mustapha Bourahla	Repairing Errors in PRISM Programs Using Probabilistic Abduction Reasoning.	MEDI	2015	DBLP DOI BibTeX RDF
16	Arun Ramakrishnan, Jochen Tombal, Davy Preuveneers, Yolande Berbers	PRISM: Policy-driven Risk-based Implicit locking for improving the Security of Mobile end-user devices.	MoMM	2015	DBLP DOI BibTeX RDF
16	Sajjad Ali, Muhammad Abdul Basit Ur Rahim, Fahim Arif	Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM.	ICCSA (Short Papers/poster papers/PhD student showcase works)	2015	DBLP DOI BibTeX RDF
16	Takuma Anahara	A texture-based classification algorithm with histograms of oriented gradients for ALOS/PRISM panchromatic imagery.	IGARSS	2015	DBLP DOI BibTeX RDF
16	Junichi Takaku, Takeo Tadono, Ken Tsutsui, Mayumi Ichikawa	Quality status of high resolution global DSM generated from ALOS PRISM.	IGARSS	2015	DBLP DOI BibTeX RDF
16	Liang He 0003, Jia Liu 0001	PRISM: A statistical modeling framework for text-independent speaker verification.	ChinaSIP	2015	DBLP DOI BibTeX RDF
16	Osmar Abílio de Carvalho Jr., Renato Fontes Guimarães, David R. Montgomery, Alan R. Gillespie, Roberto Arnaldo Trancoso Gomes, Eder de Souza Martins, Nilton Correia Silva	Karst Depression Detection Using ASTER, ALOS/PRISM and SRTM-Derived Digital Elevation Models in the Bambuí Group, Brazil.	Remote. Sens.	2014	DBLP DOI BibTeX RDF
16	Frederic T. Stahl, Max Bramer	Random Prism: a noise-tolerant alternative to Random Forests.	Expert Syst. J. Knowl. Eng.	2014	DBLP DOI BibTeX RDF
16	Martin Baca, Muhammad Kamran Siddiqui	Total edge irregularity strength of generalized prism.	Appl. Math. Comput.	2014	DBLP DOI BibTeX RDF
16		Cryptovision: Ein Beispiel einer Produktoffensive gegen PRISM und Co.	Datenschutz und Datensicherheit	2014	DBLP DOI BibTeX RDF
16	Ming Wang, Jie-Qing Feng, Wei Chen 0001	Efficient boundary surface reconstruction from heterogeneous volumetric data via tri-prism decomposition.	Comput. Graph.	2014	DBLP DOI BibTeX RDF
16	Meryem A. Yücel, Juliette Selb, David A. Boas, Sydney S. Cash, Robert J. Cooper	Reducing motion artifacts for long-term clinical NIRS monitoring using collodion-fixed prism-based optical fibers.	NeuroImage	2014	DBLP DOI BibTeX RDF
16	Sonia Chiasson, Heather Crawford, Serge Egelman, Pourang Irani	Reflections on U-PriSM 2: The Second Workshop on Usable Privacy and Security for Mobile Devices.	Int. J. Mob. Hum. Comput. Interact.	2014	DBLP DOI BibTeX RDF
16	Allyson R. Colombo, Keith S. Jones	The Effects of Prism Adaptation on Egocentric Metric Distance Estimation.	Hum. Factors	2014	DBLP DOI BibTeX RDF
16	Alper Baspinar, Engin Cukuroglu, Ruth Nussinov, Ozlem Keskin, Attila Gürsoy	PRISM: a web server and repository for prediction of protein-protein interactions and modeling their 3D complexes.	Nucleic Acids Res.	2014	DBLP DOI BibTeX RDF
16	Sandra R. Kingan, Manoel Lemos	A Decomposition Theorem for Binary Matroids with no Prism Minor.	Graphs Comb.	2014	DBLP DOI BibTeX RDF
16	Dipan Lal Shaw, M. Sohel Rahman, A. S. M. Sohidull Islam, Shuvasish Karmaker	Protein Folding in the Hexagonal Prism Lattice with Diagonals.	CoRR	2014	DBLP BibTeX RDF
16	Zhiyong Hao, Li Yao, Yanjuan Wang	The Influence of Inconsistent Data on Cost-Sensitive Classification Using Prism Algorithms: An Empirical Study.	J. Comput.	2014	DBLP BibTeX RDF
16	Yuki Maeda, Daisuke Miyazaki, Takaaki Mukai, Satoshi Maekawa	Floating volumetric display using an imaging element that consists of a 90° prism sheet and a linear Fresnel lens.	SD&A	2014	DBLP DOI BibTeX RDF
16	Thomas Q. Wang, Roger J. Green, Jean Armstrong	Prism array-based receiver with application in MIMO indoor optical wireless communications.	ICTON	2014	DBLP DOI BibTeX RDF
16	Donggeun Yoo, Kyunghyun Paeng, Sunggyun Park, Jungin Lee, Seungwook Paek, Sung-Eui Yoon, In-So Kweon	PRISM: a system for weighted multi-color browsing of fashion products.	WWW (Companion Volume)	2014	DBLP DOI BibTeX RDF
16	Zhiyong Hao, Li Yao, Bin Liu 0026, Yanjuan Wang	Arguing Prism: An Argumentation Based Approach for Collaborative Classification in Distributed Environments.	DEXA (2)	2014	DBLP DOI BibTeX RDF
16	Raymond F. Kokaly, Thomas Bahr	The USGS PRISM system for spectral analysis - An ENVI/IDL-based software.	WHISPERS	2014	DBLP DOI BibTeX RDF
16	Usman Pervez, Osman Hasan, Khalid Latif 0001, Sofiène Tahar, Amjad Gawanmeh, Mohamed Salah Hamdi	Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM.	Healthcom	2014	DBLP DOI BibTeX RDF
16	Christian Dehnert, Nils Jansen 0001, Ralf Wimmer 0001, Erika Ábrahám, Joost-Pieter Katoen	Fast Debugging of PRISM Models.	ATVA	2014	DBLP DOI BibTeX RDF
16	Thomas Q. Wang, Jean Armstrong	Performance of indoor MIMO optical wireless system using linear receiver with prism array.	AusCTW	2014	DBLP DOI BibTeX RDF
16	Larissa C. Schudlo, Sabine Weyand, Tom Chau	A review of past and future near-infrared spectroscopy brain computer interface research at the PRISM lab.	EMBC	2014	DBLP DOI BibTeX RDF
16	Yu Lu 0001, Alice Miller 0001, Chris W. Johnson 0001, Zhaoguang Peng, Tingdi Zhao	Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker.	CSE	2014	DBLP DOI BibTeX RDF
16	Asad Ahmed, Adnan Rashid, Sohail Iqbal 0001	Analysis of Weather Forecasting Model in PRISM.	FIT	2014	DBLP DOI BibTeX RDF
16	Boon-Siew Seah, Sourav S. Bhowmick, Aixin Sun	PRISM: concept-preserving social image search results summarization.	SIGIR	2014	DBLP DOI BibTeX RDF
16	Felipe De Campos Mesquita, Letícia Rodrigues Bueno, Rodrigo de Alencar Hausen	Odd Graphs Are Prism-Hamiltonian and Have a Long Cycle.	LATIN	2014	DBLP DOI BibTeX RDF
16	Junichi Takaku, Takeo Tadono, Ken Tsutsui	Algorithm development of high resolution global DSM generation by ALOS prism.	IGARSS	2014	DBLP DOI BibTeX RDF
16	Wenjian Ni, Guoqing Sun, Zhiyu Zhang 0001	The synergy of ALOS/PRISM and ALOS/PALSAR for the mapping of forest height.	IGARSS	2014	DBLP DOI BibTeX RDF
16	Michael Roach 0001, Wesley M. Cohen	Lens or Prism? Patent Citations as a Measure of Knowledge Flows from Public Research.	Manag. Sci.	2013	DBLP DOI BibTeX RDF
16	Francis Augusto Medeiros	Is '.com' international? The .com gTLD: an analysis of its global nature through the prism of jurisdiction.	Int. J. Law Inf. Technol.	2013	DBLP DOI BibTeX RDF
16	Dirk Fox	PRISM und TEMPORA.	Datenschutz und Datensicherheit	2013	DBLP DOI BibTeX RDF
16		PRISM, TEMPORA und die Folgen. Selbstdatenschutz tut Not!	Datenschutz und Datensicherheit	2013	DBLP DOI BibTeX RDF
16	Andreas Hueni, Karim Lenhard, Andreas Baumgartner, Michael E. Schaepman	Airborne Prism Experiment Calibration Information System.	IEEE Trans. Geosci. Remote. Sens.	2013	DBLP DOI BibTeX RDF
16	Hal Berghel	Through the PRISM Darkly.	Computer	2013	DBLP DOI BibTeX RDF
16	Jared Keengwe, Jung-Jin Kang	A triangular prism model: Using activity theory to examine online learning communities.	Educ. Inf. Technol.	2013	DBLP DOI BibTeX RDF
16	Taisuke Sato, Keiichi Kubota	Viterbi training in PRISM	CoRR	2013	DBLP BibTeX RDF
16	P. Subramanian, N. Ramkumar, T. T. Narendran, K. Ganesh 0001	PRISM: PRIority based SiMulated annealing for a closed loop supply chain network design problem.	Appl. Soft Comput.	2013	DBLP DOI BibTeX RDF
16	Hong-Ru Chen, Shao-Chun Chen, Zhonghua Qiao	C0-Nonconforming Triangular Prism Elements for the Three-Dimensional Fourth Order Elliptic Problem.	J. Sci. Comput.	2013	DBLP DOI BibTeX RDF
16	Marco Gercke	PRISM, TEMPORA und das deutsche Strafverfahren - Verwertbarkeit der Erkenntnisse ausländischer Nachrichtendienste.	Comput. und Recht	2013	DBLP DOI BibTeX RDF
16	Micheál O'Floinn	It wasn't all white light before Prism: Law enforcement practices in gathering data abroad, and proposals for further transnational access at the Council of Europe.	Comput. Law Secur. Rev.	2013	DBLP DOI BibTeX RDF
16	Kah Bin Lim 0001, Wei Loon Kee, Daolei Wang	Virtual camera calibration and stereo correspondence of single-lens bi-prism stereovision system using geometrical approach.	Signal Process. Image Commun.	2013	DBLP DOI BibTeX RDF
16	Soichi Nagao, Takeru Honda, Tadashi Yamazaki	Transfer of memory trace of cerebellum-dependent motor learning in human prism adaptation: A model study.	Neural Networks	2013	DBLP DOI BibTeX RDF
16	Ben Spencer, Mark W. Jones	2013 Cover Image: Prism.	Comput. Graph. Forum	2013	DBLP DOI BibTeX RDF
16	Peter Hall, Ann-Sophie Lehmann	Don't Measure - Appreciate! NPR Seen Through the Prism of Art History.	Image and Video-Based Artistic Stylisation	2013	DBLP DOI BibTeX RDF
16	E. E. Heupel, Heidi Melita Dierssen, Bo-Cai Gao, Robert O. Green, Pantazis Mouroulis	Hyperspectral remote sensing in coastal regions: Prism field validation in Elkhorn Slough.	WHISPERS	2013	DBLP DOI BibTeX RDF
16	Irina V. Vasilyeva, Sergey L. Shvirev, Sergei B. Arseniev, T. V. Zarubina	Prognostic scales ISS-RTS-TRISS, PRISM, APACHE II and PTS in Decision support of treatment children with severe mechanical trauma.	ICIMTH	2013	DBLP DOI BibTeX RDF
16	Sonia Chiasson, Heather Crawford, Serge Egelman, Pourang Irani	U-PriSM 2: the second usable privacy and security for mobile devices workshop.	Mobile HCI	2013	DBLP DOI BibTeX RDF
16	Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker 0001, Aistis Simaitis	PRISM-games: A Model Checker for Stochastic Multi-Player Games.	TACAS	2013	DBLP DOI BibTeX RDF
16	Valerio Baiocchi, Donatella Dominici, Roberta Ialongo, Maria Vittoria Milone, Martina Mormile	DSMs Extraction Methodologies from EROS-B "Pseudo-Stereopairs", PRISM Stereopairs in Coastal and Post-seismic Areas.	ICCSA (4)	2013	DBLP DOI BibTeX RDF
16	Amir Jalaly Bidgoly, Behrouz Tork Ladani	Quantitative verification of beta reputation system using PRISM probabilistic model checker.	ISCISC	2013	DBLP DOI BibTeX RDF
16	Sreeram Potluri, Devendar Bureddy, Khaled Hamidouche, Akshay Venkatesh, Krishna Chaitanya Kandalla, Hari Subramoni, Dhabaleswar K. Panda 0001	MVAPICH-PRISM: a proxy-based communication framework using InfiniBand and SCIF for intel MIC clusters.	SC	2013	DBLP DOI BibTeX RDF
16	Wen-Tse Shih, Wei-Fu Lu, Bor-Wen Yang	The design of an achromatic two dimensional deflection prism.	ICAIT	2013	DBLP DOI BibTeX RDF
16	Chuan-Yu Chang, Chuan-Wang Chang, Min-Chien Chang	An Embedded 3D Face Recognition System Using a Dual Prism and a Camera.	ICGEC	2013	DBLP DOI BibTeX RDF
16	Zhifeng Li, Lixin Wu, Zhenxin Zhang, Zhihua Xu, Zhi Wang 0009	Triangular-prism-based algorithm on urban flood inundation simulation by employing dichotomy numerical solution.	IGARSS	2013	DBLP DOI BibTeX RDF
16	Hiroko Imai, Fumi Ohgushi, Haruyoshi Katayama, Masakazu Sagisaka, Shinichi Suzuki, Yuji Osawa, Takeo Tadono, Masuo Takahashi	Wide swath and high resolution stereo mapping by PRISM-2 onboard ALOS-3.	IGARSS	2013	DBLP DOI BibTeX RDF
16	Junichi Takaku, Takeo Tadono	Automatic DSM generation from ALOS PRISM.	IGARSS	2013	DBLP DOI BibTeX RDF
16	Takeo Tadono, Hiroko Imai, Fumi Ohgushi, Junichi Takaku, Tomohiro Watanabe	Feasibility study of PRISM-2 onboard ALOS-3 - Simulated image generation.	IGARSS	2013	DBLP DOI BibTeX RDF
16	Stefan Holtel	A pattern language on how to apply visual instrument PRISM.	EuroPLoP	2013	DBLP DOI BibTeX RDF
16	Till D. Frank, Julia J. C. Blau, Michael T. Turvey	Symmetry Breaking Analysis of Prism Adaptation's Latent Aftereffect.	Cogn. Sci.	2012	DBLP DOI BibTeX RDF
16	James Cussens	Online Bayesian inference for the parameters of PRISM programs.	Mach. Learn.	2012	DBLP DOI BibTeX RDF
16	Atsushi Ono, Hiroki Sano, Wataru Inami, Yoshimasa Kawata	Surface Plasmon Excitation and Localization by Metal-Coated Axicon Prism.	Micromachines	2012	DBLP DOI BibTeX RDF
16	Gary Singh	Reflecting the Prism of His Life.	IEEE Computer Graphics and Applications	2012	DBLP DOI BibTeX RDF
16	Yue Jiang, Yadong Wang, Michael Brudno	PRISM: Pair-read informed split-read mapping for base-pair level detection of insertion, deletion and structural variants.	Bioinform.	2012	DBLP DOI BibTeX RDF
16	Stefano Braghin, Jackson Tan Teck Yong, Rajesh Sharma 0002, Anwitaman Datta	PriSM: A Private Social Mesh for Leveraging Social Networking at Workplace	CoRR	2012	DBLP BibTeX RDF
16	Muhammad Asiful Islam, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Parameter Learning in PRISM Programs with Continuous Random Variables	CoRR	2012	DBLP BibTeX RDF