Computer Science

 

Computer Science

Our faculty are connected to the latest trends in computing practices and research. Research interests range from classical and quantum computing to human-computer interaction to assistive technology to artificial intelligence and speech recognition, and so much more.

Follow

Submissions from 2007

Link

Temperature-dependent probabilistic roadmap algorithm for calculating variationally optimized conformational transition pathways, Haijun Yang, Hao Wu, Dawei Li, Li Han, and Shuanghong Huo

Submissions from 2006

Link

Quantum lower bounds for fanout, M. Fang, S. Fenner, F. Green, S. Homer, and Y. Zhang

Link

Inverse kinematics for a serial chain with joints under distance constraints, Li Han and Lee Rudolph

Submissions from 2005

Link

Automatic in situ identification of plankton, Matthew B. Blaschko, Gary Holness, Marwan A. Mattar, Dimitri Lisin, Paul E. Utgoff, Allen R. Hanson, Howard Schultz, Edward M. Riseman, Michael E. Sieracki, William M. Balch, and Ben Tupper

Link

Bounds on the power of constant-depth quantum circuits, Stephen Fenner, Frederic Green, Steven Homer, and Yong Zhang

Link

Bounds on an exponential sum arising in Boolean circuit complexity, Frederic Green, Amitabha Roy, and Howard Straubing

Link

A real-time vision interface based on gaze detection - EyeKeys, John J. Magee, Margrit Betke, Matthew R. Scott, and Benjamin N. Waber

Link

Tracking, analysis, and recognition of human gestures in video, Stan Sclaroff, Margrit Betke, George Kollios, Jonathan Alon, Vassilis Athitsos, Rui Li, John Magee, and Tai Peng Tian

Link

Fast head tilt detection for human-computer interaction, Benjamin N. Waber, John J. Magee, and Margrit Betke

Submissions from 2004

Link

The correlation between parity and quadratic polynomials mod 3, Frederic Green

Link

Hybrid probabilistic RoadMap - Monte Carlo motion planning for closed chain systems with spherical joints, Li Han

Link

EyeKeys: A real-time vision interface based on gaze detection from a low-grade video camera, John J. Magee, Matthew R. Scott, Benjamin N. Waber, and Margrit Betke

Submissions from 2002

Link

Counting, fanout, and the complexity of quantum ACC, Frederic Green, Steven Homer, Cristopher Moore, and Christopher Pollett

Submissions from 2001

Link

Relativized separation of EQP from PNP, Frederic Green and Randall Pruim

Link

Software mode changes for continuous motion tracking, Deepak Karuppiah, Patrick Deegan, Elizeth Araujo, Yunlei Yang, Gary Holness, Zhigang Zhu, Barbara Lerner, Roderic Grupen, and Edward Riseman

Submissions from 2000

Link

A complex-number Fourier technique for lower bounds on the mod-m degree, Frederic Green

Link

On the complexity of quantum ACC, Frederic Green, Steven Homer, and Christopher Pollett

Submissions from 1999

Link

Determining acceptance possibility for a quantum computation is hard for the polynomial hierarchy, Stephen Fenner, Frederic Green, Steven Homer, and Randall Pruim

Link

Exponential sums and circuits with a single threshold gate and mod-gates, F. Green

Submissions from 1997

Link

Coping with Uncertainty in Map Learning, Kenneth Basye, Thomas Dean, and Jeffrey Scott Vitter

Submissions from 1996

Link

On the correlation of symmetric functions, Jin Yi Cai, F. Green, and T. Thierauf

Link

Complements of multivalued functions, Stephen Fenner, Frederic Green, Steven Homer, Alan L. Selman, Thomas Thierauf, and Heribert Vollmer

Submissions from 1995

Link

Learning dynamics: system identification for perceptually challenged agents, Kenneth Basye, Thomas Dean, and Leslie Pack Kaelbling

Link

Inferring Finite Automata with Stochastic Output Functions and an Application to Map Learning, Thomas Dean, Dana Angluin, Kenneth Basye, Sean Engelson, Leslie Kaelbling, Evangelos Kokkevis, and Oded Maron

Link

A lower bound for monotone perceptrons, F. Green