Search results for "purity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Haiying Xu, Christopher J. F. Pickett, Clark Verbrugge	Dynamic purity analysis for java programs.	PASTE	2007	DBLP DOI BibTeX RDF	purity, Java, software metrics, dynamic analysis, memoization, side effects, escape analysis
2	Ben Lippmeier	Witnessing Purity, Constancy and Mutability.	APLAS	2009	DBLP DOI BibTeX RDF
2	José Carlos Bregieiro Ribeiro, Mário Zenha Rela, Francisco Fernández de Vega	Strongly-typed genetic programming and purity analysis: input domain reduction for evolutionary testing problems.	GECCO	2008	DBLP DOI BibTeX RDF	input domain reduction, search-based test case generation, strongly-typed genetic programming
2	Till Mossakowski, Lutz Schröder, Sergey Goncharov	A Generic Complete Dynamic Logic for Reasoning About Purity and Effects.	FASE	2008	DBLP DOI BibTeX RDF
2	Matthew Finifter, Adrian Mettler, Naveen Sastry, David Wagner	Verifiable functional purity in java.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	object-capabilities, pure functions, static analysis, determinism
2	Wei-Ho Tsai, Shih-Sian Cheng, Hsin-Min Wang	Automatic Speaker Clustering Using a Voice Characteristic Reference Space and Maximum Purity Estimation.	IEEE Transactions on Audio, Speech & Language Processing	2007	DBLP DOI BibTeX RDF
2	Mitja Lenic, Petra Povalej, Peter Kokol	Impact of Purity Measures on Knowledge Extraction in Decision Trees.	Foundations and Novel Approaches in Data Mining	2006	DBLP DOI BibTeX RDF
2	Antonio Plaza, David Valencia, Javier Plaza	High-performance computing in remotely sensed hyperspectral imaging: the Pixel Purity Index algorithm as a case study.	IPDPS	2006	DBLP DOI BibTeX RDF
2	Maciej Lawrynczuk, Piotr Tatjewski	An Efficient Nonlinear Predictive Control Algorithm with Neural Models and Its Application to a High-Purity Distillation Process.	ICAISC	2006	DBLP DOI BibTeX RDF
2	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer	Exploiting Purity for Atomicity.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	purity, concurrent programs, reduction, Atomicity
2	Ellis L. Johnson	Robust Airline Fleet Assignment: Imposing Station Purity Using Station Decomposition.	AAIM	2005	DBLP DOI BibTeX RDF
2	David A. Naumann	Observational Purity and Encapsulation.	FASE	2005	DBLP DOI BibTeX RDF
2	Alexandru Salcianu, Martin C. Rinard	Purity and Side Effect Analysis for Java Programs.	VMCAI	2005	DBLP DOI BibTeX RDF
2	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer	Exploiting purity for atomicity.	ISSTA	2004	DBLP DOI BibTeX RDF	purity, concurrent programs, reduction, atomicity
2	J. M. Pierre Langlois, Dhamin Al-Khalili	A low power direct digital frequency synthesizer with 60 dBc spectral purity.	ACM Great Lakes Symposium on VLSI	2002	DBLP DOI BibTeX RDF	DDFS, DDS, phase to sine amplitude conversion, low power
2	J. M. Pierre Langlois, Dhamin Al-Khalili	Hardware optimized direct digital frequency synthesizer architecture with 60 dBc spectral purity.	ISCAS	2002	DBLP DOI BibTeX RDF
2	Andris Ambainis, Adam Smith, Ke Yang	Extracting Quantum Entanglement. (PDF / PS)	IEEE Conference on Computational Complexity	2002	DBLP DOI BibTeX RDF	Entanglement Purification, General Error Models, Purity-Testing, Quantum Cryptography
2	Mojgan Mahmoudi, M. Mehdi Ebrahimi	Purity and Equational Compactness of Projection Algebras.	Applied Categorical Structures	2001	DBLP DOI BibTeX RDF	projection algebra, pure, equationally compact, s-pure, s-compact, s-injective, pure-essential, equational compact hull, injective hull, complete, sequence
2	Jack C. H. Chung, M. Litt, G. Leininger	A Computer Vision System for Automated Corn Seed Purity Analysis.	IEA/AIE (Vol. 1)	1990	DBLP DOI BibTeX RDF
1	Clément Farabet, Camille Couprie, Laurent Najman, Yann LeCun	Scene Parsing with Multiscale Feature Learning, Purity Trees, and Optimal Covers	CoRR	2012	DBLP BibTeX RDF
1	Frank Riedewald, Edmond Byrne, Kevin Cronin	A stochastic model for performance analysis of pharmaceutical high purity water systems.	Simulation Modelling Practice and Theory	2012	DBLP DOI BibTeX RDF
1	P. A. Agyakwa, M. R. Corfield, L. Yang, J. F. Li, V. M. F. Marques, C. M. Johnson	Microstructural evolution of ultrasonically bonded high purity Al wire during extended range thermal cycling.	Microelectronics Reliability	2011	DBLP DOI BibTeX RDF
1	Fliur Macaev, Natalia Sucman, Felix Shepeli, Marina Zveaghintseva, Vsevolod Pogrebnoi	Facile and Convenient One-Pot Process for the Synthesis of Spirooxindole Derivatives in High Optical Purity Using (-)-(S)-Brevicolline as an Organocatalyst.	Symmetry	2011	DBLP DOI BibTeX RDF
1	Z. M. Bi, Bongsu Kang	Motion Purity of Robotic Mechanisms with Desired and Undesired Motions.	Advanced Robotics	2011	DBLP DOI BibTeX RDF
1	Pan Wang, Shuangxi Liu, Mingming Liu, Qinxiang Wang, Jinxing Wang, Chunqing Zhang	The Improved DBSCAN Algorithm Study on Maize Purity Identification.	CCTA	2011	DBLP DOI BibTeX RDF
1	K. C. Narasimhamurthy, Roy P. Paily	Performance Comparison of Thin-Film Transistors Fabricated Using Different Purity Semiconducting Nanotubes.	VLSI Design	2011	DBLP DOI BibTeX RDF
1	David J. Pearce	JPure: A Modular Purity System for Java.	CC	2011	DBLP DOI BibTeX RDF
1	Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani	Purity Analysis: An Abstract Interpretation Formulation.	SAS	2011	DBLP DOI BibTeX RDF
1	Shaohui Mei, Mingyi He, Zhiyong Wang, David Dagan Feng	Spatial Purity Based Endmember Extraction for Spectral Mixture Analysis.	IEEE T. Geoscience and Remote Sensing	2010	DBLP DOI BibTeX RDF
1	Carlos González, Javier Resano, Daniel Mozos, Antonio Plaza, David Valencia	FPGA Implementation of the Pixel Purity Index Algorithm for Remotely Sensed Hyperspectral Image Analysis.	EURASIP J. Adv. Sig. Proc.	2010	DBLP DOI BibTeX RDF
1	Till Mossakowski, Lutz Schröder, Sergey Goncharov	A generic complete dynamic logic for reasoning about purity and effects.	Formal Asp. Comput.	2010	DBLP DOI BibTeX RDF
1	Xiaomei Yan, Jinxing Wang, Shuangxi Liu, Chunqing Zhang	Purity Identification of Maize Seed Based on Color Characteristics.	CCTA	2010	DBLP DOI BibTeX RDF
1	Carlos González, Daniel Mozos, Javier Resano, Antonio Plaza	FPGA for Computing the Pixel Purity Index Algorithm on Hyperspectral Images.	ERSA	2010	DBLP BibTeX RDF
1	Germain Forestier, Cédric Wemmert, Pierre Gançarski	Background Knowledge Integration in Clustering Using Purity Indexes.	KSEM	2010	DBLP DOI BibTeX RDF
1	Mahmoud Maghrbay, Reda A. Ammar, Sanguthevar Rajasekaran	Network A Randomized Automatic Pixel Purity Index Technique.	CATA	2010	DBLP BibTeX RDF
1	Philip M. McCarthy	GPAT: A Genre Purity Assessment Tool.	FLAIRS Conference	2010	DBLP BibTeX RDF
1	Mihalis Pitidis, Konstantinos F. Sagonas	Purity in Erlang.	IFL	2010	DBLP DOI BibTeX RDF
1	Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani	Safe programmable speculative parallelism.	PLDI	2010	DBLP DOI BibTeX RDF	purity, rollback freedom, safety, speculative parallelism, value speculation
1	Zhiru Xu, Desheng Liu, Jingguo Zhou, Qingjun Shi	Soft Sensing for Propylene Purity Using Partial Least Squares and Support Vector Machine.	ISNN	2009	DBLP DOI BibTeX RDF
1	Guanghui Bai, Wei Teng, Xianggang Wang, Hui Zhang, Peng Xu	Kinetic and processing studies on a novel technology of producing high purity nano-silicon dioxide from an alumina rich coal fly ash with carbon dioxide.	NEMS	2009	DBLP DOI BibTeX RDF
1	Tapio Rapinoja, Kari Stadius, Jussi Ryynänen	Spectral purity analysis of integer-N PLL.	ICECS	2009	DBLP DOI BibTeX RDF
1	Chuang Wang, Vincent F. Fusco	High-purity 56-66GHz quadrupler for V-band radio homodyne and heterodyne transceiver applications.	SoCC	2009	DBLP DOI BibTeX RDF
1	Vipin Balachandran, Deepak P, Deepak Khemani	Interpretable and reconfigurable clustering of document datasets by deriving word-based rules.	CIKM	2009	DBLP DOI BibTeX RDF	interpretable clustering
1	Wei-Ta Chu, Che-Cheng Lin, Jen-Yu Yu	Using cross-media correlation for scene detection in travel videos.	CIVR	2009	DBLP DOI BibTeX RDF	travel video, scene detection, sequence matching, cross-media correlation
1	Yosr Naïja, Kaouthar Blibech Sinaoui	A novel measure for validating clustering results applied to road traffic.	KDD Workshop on Knowledge Discovery from Sensor Data	2009	DBLP DOI BibTeX RDF	external criteria, supervised measure, clustering, validity
1	Yuliya Lanina	Mishka.	SIGGRAPH ASIA Art Gallery & Emerging Technologies	2009	DBLP DOI BibTeX RDF
1	Li Wan, Wee Keong Ng, Xuan Hong Dang, Philip S. Yu, Kuan Zhang	Density-based clustering of data streams at multiple resolutions.	TKDD	2009	DBLP DOI BibTeX RDF	evolving data streams, density based clustering, Data mining algorithms
1	Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor	Psi-calculi: Mobile Processes, Nominal Data, and Logic.	LICS	2009	DBLP DOI BibTeX RDF
1	Pui-Yu Hui, Helen M. Meng	Cross-Modality Semantic Integration With Hypothesis Rescoring for Robust Interpretation of Multimodal User Interactions.	IEEE Transactions on Audio, Speech & Language Processing	2009	DBLP DOI BibTeX RDF
1	Axel-Cyrille Ngonga Ngomo, Frank Schumacher	BorderFlow: A Local Graph Clustering Algorithm for Natural Language Processing.	CICLing	2009	DBLP DOI BibTeX RDF
1	Zhirong Yang, Erkki Oja	Projective Nonnegative Matrix Factorization with α-Divergence.	ICANN	2009	DBLP DOI BibTeX RDF
1	William C. Benton, Charles N. Fischer	Mostly-Functional Behavior in Java Programs.	VMCAI	2009	DBLP DOI BibTeX RDF	Java, Program Analysis, Type-and-effect Systems
1	Ling Song, Jun Ma, Jingsheng Lei, Dongmei Zhang, Zhen Wang	Semantic Structural Similarity Measure for Clustering XML Documents.	WISM	2009	DBLP DOI BibTeX RDF	XML document similarity, Clustering, Minimal spanning tree
1	James W. Kay, Rachel J. Steven, John A. S. McGuigan, Hugh Y. Elder	Automatic determination of ligand purity and apparent dissociation constant (Kapp) in Ca2+/Mg2+ buffer solutions and the Kapp for Ca2+/Mg2+ anion binding in physiological solutions from Ca2+/Mg2+-macroelectrode measurements.	Comp. in Bio. and Med.	2008	DBLP DOI BibTeX RDF
1	Pascal Meunier	Software transparency and purity.	Commun. ACM	2008	DBLP DOI BibTeX RDF
1	Mingkai Hsueh, Chein-I Chang	Field Programmable Gate Arrays (FPGA) for Pixel Purity Index Using Blocks of Skewers for Endmember Extraction in Hyperspectral Imagery.	IJHPCA	2008	DBLP DOI BibTeX RDF
1	Javier Fernández de Cañete, Pablo del Saz-Orozco, S. González Pérez	Neural Network and Genetic Algorithms for Composition Estimation and Control of a High Purity Distillation Column.	ICINCO-ICSO	2008	DBLP BibTeX RDF
1	Ravi Nanavati	Experience report: a pure shirt fits.	ICFP	2008	DBLP DOI BibTeX RDF	functional programming, Haskell, monads, Bluespec
1	Koby Crammer, Partha Pratim Talukdar, Fernando Pereira	A rate-distortion one-class model and its applications to clustering.	ICML	2008	DBLP DOI BibTeX RDF
1	Tianming Hu, Hui Xiong, Wenjun Zhou, Sam Yuan Sung, Hangzai Luo	Hypergraph partitioning for document clustering: a unified clique perspective.	SIGIR	2008	DBLP DOI BibTeX RDF	shared nearest neighbor, document clustering, clique, hypergraph partitioning
1	Mazuina Mohamad, Fong Yee Meng, Abdul Manaf Hashim	The Sensing Performance of Undoped-AlGaN/GaN/Sapphire HEMT Hydrogen Gas Sensor.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	wide bandgap, catalytic metal, sensor
1	Gang Zhou, Soo Wohn Lee, Yubao Li	Preparation and Microstructural Characterization of Al2O3/ZrO2 Nanocomposites to Use in the Femoral Head of Hip Replacement.	BMEI	2008	DBLP DOI BibTeX RDF
1	Hao Tu, Zhitang Li, Bin Liu 0013	Mining Network Traffic for Worm Signature Extraction.	FSKD	2008	DBLP DOI BibTeX RDF
1	Xiang Zhang, Jie Gao, Ping Lu, Yonghong Yan	A novel speaker clustering algorithm via supervised affinity propagation.	ICASSP	2008	DBLP DOI BibTeX RDF
1	Mingzhou (Joe) Song, Lin Zhang	Comparison of Cluster Representations from Partial Second- to Full Fourth-Order Cross Moments for Data Stream Clustering.	ICDM	2008	DBLP DOI BibTeX RDF
1	Quocnam Tran	Mining Medical Databases with Modified Gini Index Classification.	ITNG	2008	DBLP DOI BibTeX RDF	Data Mining, Classification, Pattern Recognition, Medical Diagnosis
1	A. S. Park, James R. Glass	Unsupervised Pattern Discovery in Speech.	IEEE Transactions on Audio, Speech & Language Processing	2008	DBLP DOI BibTeX RDF
1	Yanjun Li, Congnan Luo, Soon M. Chung	Text Clustering with Feature Selection by Using Statistical Data.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Chi-square statistics, Performance analysis, Feature selection, Text mining, Text clustering
1	Timothy Lee, Rahul Singh	Comparative Analysis of Disulfide Bond Determination Using Computational-Predictive Methods and Mass Spectrometry-Based Algorithmic Approach.	BIRD	2008	DBLP DOI BibTeX RDF
1	Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).	FLOPS	2008	DBLP DOI BibTeX RDF
1	Tomasz Maszczyk, Wlodzislaw Duch	Comparison of Shannon, Renyi and Tsallis Entropy Used in Decision Trees.	ICAISC	2008	DBLP DOI BibTeX RDF	information selection, decision trees, entropy, information theory, Decision rules
1	Eloize Rossi Marques Seno, Maria das Graças Volpe Nunes	Some Experiments on Clustering Similar Sentences of Texts in Portuguese.	PROPOR	2008	DBLP DOI BibTeX RDF	Sentence Clustering, Statistical Metrics, Sentence Similarity
1	David A. Naumann	Observational purity and encapsulation.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Utz-Uwe Haus, Dennis Michaels, Andreas Seidel-Morgenstern, Robert Weismantel	A method to evaluate the feasibility of TMB chromatography for reduced efficiency and purity requirements based on discrete optimization.	Computers & Chemical Engineering	2007	DBLP DOI BibTeX RDF
1	Alessandro Vinciarelli, Sarah Favre	Broadcast news story segmentation using social network analysis and hidden markov models.	ACM Multimedia	2007	DBLP DOI BibTeX RDF	hidden markov models, social network analysis, broadcast news, story segmentation
1	Yi Wang, Jianjun Zhao	Specifying Pointcuts in AspectJ.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Shuilong Huang, Zhihua Wang	A dual-slope PFD/CP frequency synthesizer architecture with an adaptive self-tuning algorithm.	ISCAS	2007	DBLP DOI BibTeX RDF
1	François Pottier	Static Name Control for FreshML.	LICS	2007	DBLP DOI BibTeX RDF
1	Michael Bächle, Paul Kirchberg	Ruby on Rails.	IEEE Software	2007	DBLP DOI BibTeX RDF	programming languages
1	Kazunari Sugiyama, Manabu Okumura	Personal Name Disambiguation in Web Search Results Based on a Semi-supervised Clustering Approach.	ICADL	2007	DBLP DOI BibTeX RDF	Information retrieval, Semi-supervised clustering, Personal name disambiguation
1	Man-ho Kim, Chong-koo An, Byung-su Park	Determination of Charge Handling Capability of a Deep Depletion Charge Coupled Device for Astronomic Applications.	ICIC	2007	DBLP DOI BibTeX RDF	Buried-channel CCD, 3-D numerical device simulation, Full-well capacity, Charge transfer efficiency
1	Barry C. Smith, Ellis L. Johnson	Robust Airline Fleet Assignment: Imposing Station Purity Using Station Decomposition.	Transportation Science	2006	DBLP DOI BibTeX RDF
1	David Valencia, Antonio Plaza	FPGA-Based Hyperspectral Data Compression Using Spectral Unmixing and the Pixel Purity Index Algorithm.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
1	Ralitsa Angelova, Stefan Siersdorfer	A neighborhood-based approach for clustering of linked document collections.	CIKM	2006	DBLP DOI BibTeX RDF	exploiting link structure, clustering
1	Illhoi Yoo, Xiaohua Hu	A comprehensive comparison study of document clustering for a biomedical digital library MEDLINE.	JCDL	2006	DBLP DOI BibTeX RDF	comparison study, ontology, document clustering
1	Danny Holten, Jarke J. van Wijk, Jean-Bernard Martens	A perceptually based spectral model for isotropic textures.	TAP	2006	DBLP DOI BibTeX RDF	user studies in visualization, perception, Textures, multivariate visualization
1	Ulrich L. Rohde, Ajay K. Poddar	Phase Hits Insensitive CSRO.	APCCAS	2006	DBLP DOI BibTeX RDF
1	Sudip Shekhar, Sankaran Aniruddhan, David J. Allstot	A fully-differential CMOS Clapp VCO for IEEE 802.11a applications.	ISCAS	2006	DBLP DOI BibTeX RDF
1	Ting Wu, Un-Ku Moon, Kartikeya Mayaram	Dependence of LC VCO oscillation frequency on bias current.	ISCAS	2006	DBLP DOI BibTeX RDF
1	Claude Barras, Xuan Zhu, Sylvain Meignier, Jean-Luc Gauvain	Multistage speaker diarization of broadcast news.	IEEE Transactions on Audio, Speech & Language Processing	2006	DBLP DOI BibTeX RDF
1	Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace	Adding Constraint Solving to Mercury.	PADL	2006	DBLP DOI BibTeX RDF
1	Traci Warkentin	Dis/integrating animals: ethical dimensions of the genetic engineering of animals for human consumption.	AI Soc.	2006	DBLP DOI BibTeX RDF	Animal ethics, Genetic engineering, Mechanomorphosis, Oryx and Crake, Speculative/science fiction, Transgenic organisms
1	Shoujun Bian, Suabtragool Khowinij, Michael A. Henson, Paul Belanger, Lawrence Megan	Compartmental modeling of high purity air separation columns.	Computers & Chemical Engineering	2005	DBLP DOI BibTeX RDF
1	Wilfrid Hodges	Detecting the Logical Content: Burley's 'Purity of Logic'.	We Will Show Them!	2005	DBLP BibTeX RDF
1	Wei-Ho Tsai, Hsin-Min Wang	Speaker clustering of unknown utterances based on maximum purity estimation.	INTERSPEECH	2005	DBLP BibTeX RDF
1	A. Hachikyan, R. Scherer, M. Angelova, M. Lazarova	Decision support system for a river network pollution estimation based on a structural-linguistic data model.	Operational Research	2005	DBLP DOI BibTeX RDF	structural-linguistic model, surface water purity
1	Sergio Gagliolo, Giacomo Pruzzo, Daniele D. Caviglia	Phase noise performances of a cross-coupled CMOS VCO with resistor tail biasing.	SBCCI	2005	DBLP DOI BibTeX RDF	resistor biasing, low power, wireless, CMOS, low voltage, voltage controlled oscillator (VCO), phase noise
1	James N. Barnes, Nicholas G. Kalaitzandonakes, Thomas J. Crowe	Using simulation for economic policy analysis in the global agricultural suppy chain.	Winter Simulation Conference	2005	DBLP DOI BibTeX RDF
1	Saso Greiner, Damijan Rebernak, Janez Brest, Viljem Zumer	Z0 - a tiny experimental language.	SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	Java, object-orientation, language design
1	Ying Liu, Shamkant B. Navathe, Jorge Civera, Venu Dasigi, Ashwin Ram, Brian J. Ciliax, Ray Dingledine	Text Mining Biomedical Literature for Discovering Gene-to-Gene Relationships: A Comparative Study of Algorithms.	IEEE/ACM Trans. Comput. Biology Bioinform.	2005	DBLP DOI BibTeX RDF	Bond energy algorithm, gene function, cluster analysis, microarray, text analysis, MEDLINE