Search results for "Phuong Nguyen"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Klaus Aehlig, Stephen A. Cook, Phuong Nguyen	Relativizing Small Complexity Classes and their Theories	CoRR	2012	DBLP BibTeX RDF
1	Phuong Nguyen, Stephen A. Cook	The Complexity of Proving the Discrete Jordan Curve Theorem.	ACM Trans. Comput. Log.	2012	DBLP DOI BibTeX RDF
1	Emil Jerábek, Phuong Nguyen	Simulating non-prenex cuts in quantified propositional calculus.	Math. Log. Q.	2011	DBLP DOI BibTeX RDF
1	Anil Ada, Arkadev Chattopadhyay, Omar Fawzi, Phuong Nguyen	The NOF Multiparty Communication Complexity of Composed Functions.	Electronic Colloquium on Computational Complexity (ECCC)	2011	DBLP BibTeX RDF
1	Leszek Aleksander Kolodziejczyk, Phuong Nguyen, Neil Thapen	The provably total NP search problems of weak second order bounded arithmetic.	Ann. Pure Appl. Logic	2011	DBLP DOI BibTeX RDF
1	Phuong Nguyen, Peter Sunehag, Marcus Hutter	Feature Reinforcement Learning In Practice	CoRR	2011	DBLP BibTeX RDF
1	Phuong Nguyen, Peter Sunehag, Marcus Hutter	Feature Reinforcement Learning in Practice.	EWRL	2011	DBLP DOI BibTeX RDF
1	Phuong Nguyen, Volkmar Schau, Wilhelm Rossak	Performance Comparison of some Message Transport Protocol Implementations for Agent Community Communication.	IICS	2011	DBLP BibTeX RDF
1	Matei David, Phuong Nguyen, Periklis A. Papakonstantinou, Anastasios Sidiropoulos	Computationally Limited Randomness.	ICS	2011	DBLP BibTeX RDF
1	Phuong Nguyen, Stephen A. Cook	The Complexity of Proving the Discrete Jordan Curve Theorem	CoRR	2010	DBLP BibTeX RDF
1	Diem Tran, Thi To, Thuan Huynh, Phuong Nguyen	Designing a Harware Accelerator for Face Recognition Using Vector Quantization and Principal Component Analysis as a Component of SoPC.	DELTA	2010	DBLP DOI BibTeX RDF	DSP using FPGA, Face Recognition, PCA, Vector Quantization, Hardware Accelerator, SoPC
1	Milton Halem, Neal Most, Curt Tilmes, Kevin Stewart, Yelena Yesha, David Chapman, Phuong Nguyen	Service-Oriented Atmospheric Radiances (SOAR): Gridding and Analysis Services for Multisensor Aqua IR Radiance Data for Climate Studies.	IEEE T. Geoscience and Remote Sensing	2009	DBLP DOI BibTeX RDF
1	Phuong Nguyen	The equivalence of theories that characterize ALogTime.	Arch. Math. Log.	2009	DBLP DOI BibTeX RDF
1	Alan Messer, Anugeetha Kunjithapatham, Phuong Nguyen, Priyang Rathod, Mithun Sheshagiri, Doreen Cheng, Simon Gibbs	SeeNSearch: A context directed search facilitator for home entertainment devices.	Pervasive and Mobile Computing	2008	DBLP DOI BibTeX RDF
1	Milton Halem, David Chapman, Phuong Nguyen	A Semi-Decadal Multi-Sensor Gridded Data Record of Outgoing Longwave Radiation (OLR) from Aqua.	IGARSS	2008	DBLP DOI BibTeX RDF
1	Milton Halem, Curt Tilmes, Yelena Yesha, David Chapman, Phuong Nguyen	Providing Gridded Atmospheric Radiance Products and Services from MODIS and AIRS Instruments on NASA's Aqua Satellite.	IGARSS	2008	DBLP DOI BibTeX RDF
1	Alan Messer, Anugeetha Kunjithapatham, Phuong Nguyen, Priyang Rathod, Mithun Sheshagiri, Doreen Cheng, Simon Gibbs	SeeNSearch: A Context Directed Search Facilitator for Home Entertainment Devices.	PerCom	2008	DBLP DOI BibTeX RDF	Internet Search on TV, Seamless Information Retrieval, Keyboard-less Search, Context-directed Search, Query Extraction and Composition, Query Refinement
1	Anthony J. Maeder, Jason Dowling, Anthony Nguyen, Emma Brunton, Phuong Nguyen	Assuring Authenticity of Digital Mammograms by Image Watermarking.	Digital Mammography / IWDM	2008	DBLP DOI BibTeX RDF
1	Phuong Nguyen	Proving Infinitude of Prime Numbers Using Binomial Coefficients.	CSL	2008	DBLP DOI BibTeX RDF
1	Duc A. Tran, S. R. Pamidimukkala, Phuong Nguyen	Relevance-Feedback Image Retrieval Based on Multiple-Instance Learning.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF
1	Phuong Nguyen, Stephen A. Cook	The Complexity of Proving the Discrete Jordan Curve Theorem.	LICS	2007	DBLP DOI BibTeX RDF
1	Phuong Nguyen	Separating DAG-Like and Tree-Like Proof Systems.	LICS	2007	DBLP DOI BibTeX RDF
1	Klaus Aehlig, Stephen A. Cook, Phuong Nguyen	Relativizing Small Complexity Classes and Their Theories.	CSL	2007	DBLP DOI BibTeX RDF
1	Phuong Nguyen, Stephen A. Cook	Theories for TC0 and Other Small Complexity Classes.	Logical Methods in Computer Science	2006	DBLP DOI BibTeX RDF
1	Kun Liu, Kanishka Bhaduri, Kamalika Das, Phuong Nguyen, Hillol Kargupta	Client-side web mining for community formation in peer-to-peer environments.	SIGKDD Explorations	2006	DBLP DOI BibTeX RDF	privacy preserving data mining, order statistics, peer-to-peer community
1	Alan Messer, Anugeetha Kunjithapatham, Mithun Sheshagiri, Henry Song, Praveen Kumar, Phuong Nguyen, Kyoung Hoon Yi	InterPlay: A Middleware for Seamless Device Integration and Task Orchestration in a Networked Home.	PerCom	2006	DBLP DOI BibTeX RDF
1	Phuong Nguyen	Two-Sorted Theories for L, SL, NL and P	Electronic Colloquium on Computational Complexity (ECCC)	2005	DBLP BibTeX RDF
1	Phuong Nguyen, Stephen A. Cook	Theories for TC0 and Other Small Complexity Classes	CoRR	2005	DBLP BibTeX RDF
1	Phuong Nguyen	Simulating User Behaviour For Improving Web Information Systems.	ISTA	2005	DBLP BibTeX RDF
1	Phuong Nguyen, Sergiy Zlatkin	Towards Using Simulation for Enhancing Web Information Systems' Utility.	WISE Workshops	2005	DBLP DOI BibTeX RDF
1	Phuong Nguyen, Stephen A. Cook	VTC circ: A Second-Order Theory for TCcirc.	LICS	2004	DBLP DOI BibTeX RDF
1	Aleksandar Ignjatovic, Phuong Nguyen	Characterizing polynomial time computable functions using theories with weak set existence principles.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Boualem Benatallah, Mehregan Mahdavi, Phuong Nguyen, Quan Z. Sheng, Lionel Port, Bill McIver	An Adaptive Document Version Management Scheme.	CAiSE	2003	DBLP DOI BibTeX RDF
1	Eric Martin, Phuong Nguyen, Arun Sharma, Frank Stephan	Learning in Logic with RichProlog.	ICLP	2002	DBLP DOI BibTeX RDF
1	Liangzhao Zeng, Boualem Benatallah, Phuong Nguyen, Anne H. H. Ngu	AgFlow: Agent-based Cross-Enterprise Workflow Management System.	VLDB	2001	DBLP BibTeX RDF

Publications of "Phuong Nguyen" ( http://dblp.L3S.de/Authors/Phuong_Nguyen )