| Related sites for http://www.tecn.upf.es/~hchen/ |
| Color_Picker_Pro Pick one or several colors anywhere on the screen with a single mouse click. It features 2 capture modes, interactive zoom tool, 20+ color formats, and 10+ color spaces. | | AbiWord An open source (freeware) word processing program. | | TopDesktop_com Resources for desktop icons, desktop themes, mouse cursors, screen savers, screen mates, wallpapers and skins. Each category is categorized by animals, cartoons, Holidays, movies, people, places and s | | Tigra_Menu_Online_Builder Web application allowing to build cross-browser DHTML navigation systems. No JavaScript programming skills are required. Also exist Windows version (requare .Net framework). | | The_VRML_Works The history of VRML, information on how to select a VRML browser, books, essays, tutorials, examples, tools, resources, models, and FAQs. | | TechTC_-_Technion_Repository_of_Text_Categorization_Datasets Provides a large number of diverse test collections for use in text categorization research. | | RFC_1820 Multimedia E-mail (MIME) User Agent Checklist. E. Huizer. August 1995. | | The_Electronic_Labyrinth History, explanation, and critique, of hypertext systems, with links. | | NewsNow__XML Dynamically updated page of links to relevant articles from leading news sources. | | Startime Personal time and calendar program that provides astronomical data. | | @Backup_com Automatic online system backs up and protects your files everyday. Provides easy access to files via the "File Selection Wizard". | | XML_in__NET Microsoft .NET introduces a new suite of XML APIs built on industry standards such as DOM, XPath, XSD, and XSLT. A discussion of the XMLDOM-Document is also included. By Aaron Skonnard, MSDN Magazine. | | Moon_Software Developer's site. 'Bookmark Wizard', 'Copy URL', 'Font Xplorer Lite', 'FileTargets', 'FontLoader', and other desktop utilities for MS Windows 95/98/NT/2000. Includes information on shareware, a new | | AIMMachine_com_Offline_Messaging Service allowing you to message users that are currently offline. | | 68K/ColdFire Makes and sells 68k processors. Includes, varied information: documents, datasheets, product selector, tools, design, fora, FAQs, success stories, links. [Freescale Semiconductor, Inc.] | | Ezautoweb_com Specializing in offering web and graphic design to auto dealers. | | Your_Office_On_The_Web Hosting, e-commerce, design and upkeep. | | Virtual_Places_Stuff Contains avatars and gestures by category as well as help, software, tools, support, and links. | | Mozilla_org_-_Mozilla_Foundation_Releases_Mozilla_Firefox_1_0_Web_Browser Official press release. (November 9, 2004) | | CorbaTrace A helpful tool for tracing communications between CORBA objects. Remote calls are intercepted and all information is stored in XML log files. |
|
Homepage of Hubie ChenHubie (Hubert) ChenDepartament de Tecnologies de la Informació i les ComunicacionsUniversitat Pompeu FabraBarcelona, SpainE-Mail Address: (five-letter first name)(dot)(last name)(at)(three-letter abbreviation of university)(dot)(edu)Affiliations: Theoretical Computer Science group at UPF |Artificial Intelligence group at UPFExpository/ThesisHubie Chen.A Rendezvous of Logic, Complexity, and Algebra.SIGACT News Logic Column, December 2006.Errata.Hubie Chen.The Computational Complexity of Quantified Constraint Satisfaction.Ph.D. Thesis, Cornell University, August 2004.Note.PublicationsManuel Bodirsky and Hubie Chen.Peek Arc Consistency.arXiv:0809.0788Hubie Chen and Omer Gimenez.Causal Graphs and Structurally Restricted Planning.International Conference on Automated Planning & Scheduling (ICAPS), 2008, Sydney, Australia.Hubie Chen.Quantified Constraint Satisfaction and the Polynomially Generated Powers Property.35th International Colloquium onAutomata, Languages and Programming (ICALP), 2008,Reykjavik, Iceland.Hubie Chen, Florent Madelaine, and Barnaby Martin.Quantified Constraints and Containment Problems.Twenty-Third Annual IEEE Symposium on Logic in Computer Science (LICS), 2008,Pittsburgh, Pennsylvania, USA.Hubie Chen.Inverse NP Problems.Computational Complexity, Volume 17, Number 1, Pages 94-118, April 2008.Conference version appeared in:28th International Symposium on Mathematical Foundations of Computer Science(MFCS), 2003, Bratislava, Slovak Republic.Hubie Chen.The Complexity of Quantified Constraint Satisfaction: Collapsibility, Sink Algebras, and the Three-Element Case.SIAM Journal on Computing, volume 37, issue 5, pages 1674-1701, 2008.Preliminary version.Andrei Bulatov, Hubie Chen, and Victor Dalmau.Learning Intersection-closed Classes with Signatures.Theoretical Computer Science, 382(3), pages 209-220, 2007.Hubie Chen and Omer Gimenez.Act Local, Think Global: Width Notions for Tractable Planning.International Conference on Automated Planning & Scheduling (ICAPS), 2007, Providence, Rhode Island, USA.Manuel Bodirsky and Hubie Chen.Qualitative Temporal and Spatial Reasoning Revisited.Computer Science Logic (CSL), 2007, Lausanne, Switzerland.Manuel Bodirsky and Hubie Chen.Quantified Equality Constraints.Twenty-Second Annual IEEE Symposium on Logic in Computer Science (LICS), 2007, Wroclaw, Poland.Manuel Bodirsky, Hubie Chen, Jan Kara, and Timo von Oertzen.Maximal Infinite-Valued Constraint Languages.34th International Colloquium on Automata, Languages and Programming (ICALP), 2007, Wroclaw, Poland.Manuel Bodirsky and Hubie Chen.Oligomorphic Clones.Algebra Universalis, Volume 57, Number 1, Pages 109-125, August 2007. Manuel Bodirsky and Hubie Chen.Collapsibility in Infinite-Domain Quantified Constraint Satisfaction.Computer Science Logic (CSL), 2006, Szeged, Hungary.Hubie Chen.Existentially Restricted Quantified Constraint Satisfaction.cs.CC/0506059Interesting open questions: What is the exact complexity of extended quantified 2-SAT formulas (under unbounded alternation)? And what about the complexity of extended quantified affine-SAT formulas (under unbounded alternation)?Hubie Chen and Victor Dalmau.Beyond Hypertree Width: Decomposition Methods Without Decompositions.Eleventh International Conference on Principles and Practice of Constraint Programming, 2005, Sitges, Spain.Hubie Chen and Victor Dalmau.From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction.Computer Science Logic (CSL), 2005, Oxford, England.Hubie Chen.The Expressive Rate of Constraints.Annals of Mathematics and Artificial Intelligence, volume 44, number 4, pages 341-352, August 2005.Conference version appeared in: Eighth International Symposium on Artificial Intelligence and Mathematics, 2004, Fort Lauderdale, Florida, USA.Hubie Chen.Periodic Constraint Satisfaction Problems: Tractable Subclasses.Constraints, volume 10, number 2, pages 97-113, 2005.Conference version appeared in:Ninth International Conference on Principles and Practice of Constraint Programming, 2003, Kinsale, County Cork, Ireland.Hubie Chen and Yannet Interian.A Model for Generating Random Quantified Boolean Formulas.Nineteenth International Joint Conference on Artificial Intelligence (IJCAI), 2005,Edinburgh, Scotland.Hubie Chen.Parameterized Compilability.Nineteenth International Joint Conference on Artificial Intelligence (IJCAI), 2005,Edinburgh, Scotland.Hubie Chen.Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms.22nd International Symposium on Theoretical Aspects of Computer Science (STACS), 2005,Stuttgart, Germany.Hubie Chen and Riccardo Pucella.A Coalgebraic Approach to Kleene Algebra with Tests.Theoretical Computer Science, 327(1-2), pages 23-44, 2004.Conference version appeared in:Coalgebraic Methods in Computer Science (CMCS), 2003, Warsaw, Poland.Andrei Bulatov, Hubie Chen, and Victor Dalmau.Learnability of Relatively Quantified Generalized Formulas.The 15th International Conference on Algorithmic Learning Theory (ALT), 2004, Padova, Italy.E.M. Gold Award.Hubie Chen.Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms.Tenth International Conference on Principles and Practice of Constraint Programming, 2004, Toronto, Canada.Hubie Chen and Victor Dalmau.(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability.Tenth International Conference on Principles and Practice of Constraint Programming, 2004, Toronto, Canada.Hubie Chen.Quantified Constraint Satisfaction and Bounded Treewidth.16th European Conference on Artificial Intelligence (ECAI), 2004, Valencia, Spain.Hubie Chen and Martin Pál.Optimization, Games, and Quantified Constraint Satisfaction.29th International Symposium on Mathematical Foundations of Computer Science (MFCS), 2004, Prague, Czech Republic.EATCS Best Student Paper Award.Interesting open question: Can a classification result be proved for the maximization problems defined analogously to the minimization problems studied in this paper? In particular, for maximization, are affine constraints constant-factor approximable (in the sense defined in the paper)?Hubie Chen.Collapsibility and Consistency in Quantified Constraint Satisfaction.Nineteenth National Conference on Artificial Intelligence (AAAI), 2004, San Jose, California, USA.Hubie Chen and Stephen Chong.Owned Policies for Information Security.17th IEEE Computer Security Foundations Workshop (CSFW), 2004, Pacific Grove, California, USA.Hubie Chen and Victor Dalmau.Looking Algebraically at Tractable Quantified Boolean Formulas.Seventh International Conference on Theory and Applications of Satisfiability Testing, 2004, Vancouver, British Columbia, Canada.Hubie Chen.Arithmetic Constant-Depth Circuit Complexity Classes.28th International Symposium on Mathematical Foundations of Computer Science(MFCS), 2003, Bratislava, Slovak Republic.Conference version.Hubie Chen.A Theory of Average-Case Compilability in Knowledge Representation.Eighteenth International Joint Conference on Artificial Intelligence (IJCAI),2003, Acapulco, Mexico.Hubie Chen.Inverse Circumscription.Eighteenth International Joint Conference on Artificial Intelligence (IJCAI),2003, Acapulco, Mexico.Hubie Chen.An Algorithm for SAT Above the Threshold.Sixth International Conference on Theory and Applications of Satisfiability Testing, 2003, S. Margherita Ligure - Portofino, Italy.Hubie Chen, Carla Gomes, and Bart Selman.Formal Models of Heavy-Tailed Behavior in Combinatorial Search.Seventh International Conference on Principles and Practice of Constraint Programming, 2001, Paphos, Cyprus.QuotesProof that P does not equal NPMemorable Quotes from "It's My Turn"Papers with cute titlesThe word processor is a stupid and grossly inefficient toolvar sc_project=797734; var sc_partition=6; var sc_security="384f37b8"; var sc_invisible=1;  |
|
