Theodore S. Norvell

Publication Activity (10 Years)

Years Active: 1989-2017
Publications (10 Years): 1

Top Topics

Visual Sensor Networks

Evaluation Model

Gradient Operators

Image Processing Algorithms

Top Venues

Publications

Acil Abdel Naby, Mohamed S. Shehata, Theodore S. Norvell
AEIPA: Docker-based system for Automated Evaluation of Image Processing Algorithms. CCECE (2017)
Rani Gnanaolivu, Theodore S. Norvell, Ramachandran Venkatesan
Analysis of Inner-Loop Mapping onto Coarse-Grained Reconfigurable Architectures Using Hybrid Particle Swarm Optimization. Int. J. Organ. Collect. Intell. 2 (2) (2011)
Rani Gnanaolivu, Theodore S. Norvell, Ramachandran Venkatesan
Mapping loops onto Coarse-Grained Reconfigurable Architectures using Particle Swarm Optimization. SoCPaR (2010)
Michael Bruce-Lockhart, Pilu Crescenzi, Theodore S. Norvell
Integrating test generation functionality into the Teaching Machine environment. Electron. Notes Theor. Comput. Sci. 224 (2009)
Theodore S. Norvell, Michael Bruce-Lockhart
Rich content plug-ins for the teaching machine. ITiCSE (2009)
Theodore S. Norvell
A grainless semantics for the HARPO/L language. CCECE (2009)
Michael Bruce-Lockhart, Theodore S. Norvell, Pierluigi Crescenzi
Adding Test Generation to the Teaching Machine. ACM Trans. Comput. Educ. 9 (2) (2009)
Michael Bruce-Lockhart, Theodore S. Norvell, Yiannis Cotronis
Program and Algorithm Visualization in Engineering and Physics. Electron. Notes Theor. Comput. Sci. 178 (2007)
Michael Bruce-Lockhart, Theodore S. Norvell
Interactive embedded examples: a demonstration. ITiCSE (2006)
Theodore S. Norvell
Predicative semantics of loops. Algorithmic Languages and Calculi (1997)
Theodore S. Norvell
Machine Code Programs are Predicates Too. Refine (1994)
Theodore S. Norvell
Induce-Statements and Induce-Expressions: Constructs for Inductive Programming. FSTTCS (1993)
Theodore S. Norvell, Eric C. R. Hehner
Logical Specifications for Functional Programs. MPC (1992)
Isabel F. Cruz, Theodore S. Norvell
Aggregative Closure: An Extension of Transitive Closure. ICDE (1989)