Home
directions
news
Department
ugrad program
grad program
courses
Research
AI
systems
theory
tech reports
talks/events
facilities
People
faculty
staff
grads
undergrads
alumni
others
U of R
related depts.
URCS Research
In this page:
AI
|
Systems
|
Theory
See also:
Technical Reports
|
Talks/Events
|
Measures of Excellence
|
In‑progress Ph.D. Dissertations
|
Undergraduate Research Projects
|
Related Departments
|
URCS Facilities
Artificial Intelligence
Symbolic AI, Natural Language, and Knowledge Representation
Research Overview
Conversational Interaction and Spoken Dialogue Research Group
Machine Translation
Laboratory for Assisted Cognition Environments
TRIPS: The Rochester Interactive Planning System
The TRAINS Project: Natural language dialogue and interactive planning
Episodic Logic & EPILOG
Simulative Inference and the Semantics of Belief
Quagents: Intelligent Agents in a Quake World
Vision and Robotics
Research Overview
Currently Active Projects
Center for Visual Science (CVS)
Improving Augmented Reality Rendering
Boundary Extraction by Lineal Feature Growing
Interaction Between Development and Learning of Binocular Disparity and Motion Velocity Sensitivies
Semantic Scene Classification
Selected Past Projects
Resource for the Study of Neural Models of Behavior
Behavioral Effects of Varying Eye, Head, and Hand Temporal Coordination Sequences in a Natural Task
Mabel (the Mobile Table)
The Memory Assistant
Perceptual Basis of Spatial Relations
Quasi-static Object Discovery (QsOD)
Virtual Human Vision
Mobile Robotics Group Home Page
Rapid Prototyping of Parallel Robot Vision Systems Using Virtual Reality and Systems Simulation
Augmented Reality
Control of robots through
Differential Visual Feedback (DVFB)
Appearance based visual simulation of articulated agents:
Simulated Actions
Visual space learning, planning and robot control:
Perceptual Actions
Motion Detection and Recognition
Object Recognition
Scale decomposition of the information content in images.
Systems
Research Overview
Currently Active Projects (partial list)
High-Performance Synchronization for Shared-Memory Parallel Programs
Compiler-Assisted Data Adaptation
Dynamically Tunable Clustered Multithreaded (DT-CMT) Architectures
Neptune: Clustering Support for Scalable Network Services
Wireless Communications and Networking Group
CoSyn: Communication and Synchronization Mechanisms for Emerging Multi-Core Architectures
Recent Past Projects
ARCH: Architecture, Run-Time, and Compiler Integration for High-Performance Computing
CASHMERe: Coherent Shared Memory for Next-Generation Networks and Multiprocessors
Complexity-Adaptive Processing for high-performance, low-power microprocessors
InterAct: Distributed Shared State for Interactive Applications
InterWeave: Automatic Management of Distributed Shared State
LIME: Linda in a Mobile Environment
Milan: Middleware Linking Applications and Networks
Theory (Current Projects)
Research Overview
,
Key Contributions
, and
Theory Seminar Series
Applications of Discrete Mathematics in Computer Science
Computational Complexity: Reductions, Resources, and Robustness
Computational Politics
Counting Classes
Cryptography, One-Way Functions, and Pseudorandom Generators
Downward Collapses and Query Order
Graph Drawing, Computing with Curves on Surfaces, and String Graphs
Quantum Computing
Semi-Feasible Algorithms
Sets of Low Information Content
Some project-overview posters describing projects done by the Theory group at URCS
The Complexity of Bribery in Elections: view it
as powerpoint
.
Politics Good, Computation Bad (by Chris Homan about our group's Power Index work): view it
as pdf
.
One-Way Functions and Cryptography: view it
as powerpoint
.
Rice-Style Theorems in Complexity Theory: view it
as powerpoint
.
Maintained by Shaojun Zhao. Last change:
February 27, 2009
Please report problems with the server to
www@cs.rochester.edu
.