Our group builds robots to operate in natural, social environments. The challenge of interacting with humans constrains how our robots appear physically, how they move, how they p...
Cynthia Breazeal, Aaron Edsinger, Paul M. Fitzpatr...
Presents a theoretical approach to understanding the local culture of firms in the multinational information sector. Called situating culture, this approach holds that cultural und...
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...
Since optimum diversity behavior can be achieved, equalization based on lattice basis reduction is of special interest for transmission over MIMO channels. Although the per-symbol...
In pervasive computing environments, applications find themselves in constantly changing operating conditions. Such applications often need to discover locally available resources ...