Finding Conflict Sets and Backtrack Points in CLP(R)

1980-Present: Professor, School of Electrical Engineering and Computer Science, University of Central Florida 2007-Present: UCF Pegasus Professor 2006-Present: Director, Media Convergence Laboratory, University of Central Florida 2007-2008: Associate Director, School of EECS, University of Central Florida 2007-Present: Cognitive Sciences Faculty and Steering Committee, University of Central Florida 2006-Present: Contributing Faculty, Institute for Simulation & Training, University of Central Florida 2005-Present: Professor, Digital Media, University of Central Florida 2001-Present: Affiliate Faculty, Text & Technology, English Department, University of Central Florida 1974-1980: Associate Professor (1974-78); Professor (1978-80) of Computer Science, University of Tennessee 1972-1974: Assistant Professor of Computer Science, Pennsylvania State Univ. 1968-1971: Instructor of Computer Science, Pennsylvania State Univ. 1967-1968: Research Assistant, Computer Science, Pennsylvania State Univ.

[1]  Charles E. Hughes,et al.  Networked virtual environments , 1992, I3D '92.

[2]  Charles E. Hughes.  Derivatives and Quotients of Prefix-Free Context-Free Languages , 1980, Inf. Control..

[3]  Charles E. Hughes,et al.  Parallel Processing in the Undergraduate Curriculum , 1992, Proceedings. Twenty-Second Annual conference Frontiers in Education.

[4]  Charles E. Hughes,et al.  The one-one equivalence of some general combinatorial decision problems , 1971, Notre Dame J. Formal Log..

[5]  F. Arefi,et al.  The object-oriented design of a visual syntax-directed editor generator , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.

[6]  Forsythe,et al.  Computer science : programming in BASIC , 1976 .

[7]  J. L. Mundy,et al.  Constraint-based modeling , 1989 .

[8]  R. M. Aiken,et al.  An integrated small computer laboratory using a central disk storage facility , 1978, SIGCSE '78.

[9]  Charles E. Hughes,et al.  Designing training scenarios by rehearsal , 1988, [Proceedings] 1988 IEEE Workshop on Visual Languages.

[10]  K.C. Kinsley,et al.  An analytical model for evaluating database update schemes in a centralized environment , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.

[11]  Charles E. Hughes,et al.  ASSIST-V: A tool for studying the implementation of operating systems , 1976, SIGCSE '76.

[12]  Charles E. Hughes,et al.  Nap-of-earth flight and the real-time simulation of dynamic terrain , 1990, Other Conferences.

[13]  Charles E. Hughes,et al.  POPSS - a parametric operating system simulator , 1973, SIGCSE '73.

[14]  Charles E. Hughes,et al.  ORACLE a tool for learning compiler writing , 1977, SIGCSE '77.

[15]  Charles E. Hughes,et al.  Tactical simulation in an object-oriented animated graphics environment , 1988, SIML.

[16]  Charles E. Hughes,et al.  Evaluating Database Update Schemes: A Methodology and Its Applications to Distributive Systems , 1988, IEEE Trans. Software Eng..

[17]  Charles E. Hughes,et al.  The Finite Power Property for Context-Free Languages , 1981, Theor. Comput. Sci..

[18]  Charles E. Hughes,et al.  Advanced Programming Techniques: A Second Course in Programming Using FORTRAN , 1978 .

[19]  Charles E. Hughes,et al.  The Equivalence of Vector Addition Systems to a Subclass of Post Canonical Systems , 1978, Information Processing Letters.

[20]  Pascal Van Hentenryck.  Finding Conflict Sets and Backtrack Points in CLP(R) , 1994 .

[21]  Charles E. Hughes,et al.  Analysis of a Virtual Memory Model For Maintaining Database Views , 1992, IEEE Trans. Software Eng..

[22]  C. M. Reeves.  Computer Science: Programming in FORTRAN with WATFOR WATFIV , 1976 .

[23]  Charles E. Hughes,et al.  The virtual academy: A simulated environment for constructionist learning , 1996, Int. J. Hum. Comput. Interact..

[24]  R. M. Aiken,et al.  Computer science curriculum for high school students , 1980, SIGCSE '80.

[25]  Charles E. Hughes,et al.  Automatically generating visual syntax-directed editors , 1990, CACM.

[26]  Charles E. Hughes,et al.  Parallel Execution of CLP-R Programs , 1992, IJCSLP Workshop on Concurrent and Parallel Implementations.

[27]  Charles E. Hughes,et al.  Word problems for bidirectional, single-premise Post systems , 1980, Notre Dame J. Formal Log..

[28]  Charles E. Hughes,et al.  ASSIST-V: An Environment Simulator for IBM 360 Systems Software Development , 1978, IEEE Transactions on Software Engineering.

[29]  Charles E. Hughes,et al.  Cooperative Problem Solving Among K-12 Students: The ExploreNet Project , 1992, Proceedings. Twenty-Second Annual conference Frontiers in Education.