Our research
Content type
+
Downloads (434)
+
Events (386)
 
Groups (149)
+
News (2546)
 
People (821)
 
Projects (1052)
+
Publications (11802)
+
Videos (5047)
Labs
Research areas
Algorithms and theory47205 (710)
Communication and collaboration47188 (1346)
Computational linguistics47189 (422)
Computational sciences47190 (728)
Computer systems and networking47191 (1968)
Computer vision208594 (84)
Data mining and data management208595 (103)
Economics and computation47192 (287)
Education47193 (747)
Gaming47194 (349)
Graphics and multimedia47195 (1101)
Hardware and devices47196 (963)
Health and well-being47197 (414)
Human-computer interaction47198 (2066)
Machine learning and intelligence47200 (1540)
Mobile computing208596 (58)
Quantum computing208597 (14)
Search, information retrieval, and knowledge management47199 (1664)
Security and privacy47202 (721)
Social media208598 (47)
Social sciences47203 (778)
Software development, programming principles, tools, and languages47204 (1394)
Speech recognition, synthesis, and dialog systems208599 (59)
Technology for emerging markets208600 (29)
1–25 of 22237
Sort
Show 25 | 50 | 100
1234567Next 
VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Event details
Date: 11–13 January 2015
Location: Mumbai, India
Type: Conference
Shuo Ma, Yu Zheng, and Ouri Wolfson

We proposed and developed a taxi-sharing system that accepts taxi passengers’ real-time ride requests sent from smartphones and schedules proper taxis to pick up them via ridesharing, subject to time, capacity, and monetary constraints. The monetary constraints provide incentives for both passengers and taxi drivers: passengers will not pay more compared with no ridesharing and get compensated if their travel time is lengthened due to ridesharing; taxi drivers will make money for all the detour distance...

Publication details
Date: 1 January 2015
Type: Article
Publisher: IEEE
Puyang Xu and Ruhi Sarikaya

In a multi-domain, multi-turn spoken language understanding session, information from the history often greatly reduces the ambiguity of the current turn. In this paper, we apply the recurrent neural network (RNN) to exploit contextual information for query domain classification. The Jordan-type RNN directly sends the vector of output distribution to the next query turn as additional input features to the convolutional neural network (CNN). We evaluate our approach against SVM with and without...

Publication details
Date: 1 December 2014
Type: Inproceeding
Publisher: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP)
This training is offered to select research community audiences, predominantly consisting of practicing research scientists with at least basic software development skills. The default course consists of two days. Day one helps attendees acquire a general understanding of cloud computing with Microsoft Azure. Day two focuses on using Microsoft Azure at scale. Specific instances of the course may revise this basic structure.
Event details
Date: 10–11 November 2014
Location: Israel
Type: Other
Neha Gupta, David Martin, Ben Hanrahan, and Jacki O'Neill

Previous studies on Amazon Mechanical Turk (AMT), the most well-known marketplace for microtasks, show that the largest population of workers on AMT is U.S. based, while the second largest is based in India. In this paper, we present insights from an ethnographic study conducted in India to introduce some of these workers or ‘Turkers’ – who they are, how they work and what turking means to them. We examine the work they do to maintain their reputations and their work-life balance. In doing this, we...

Publication details
Date: 9 November 2014
Type: Inproceeding
Publisher: ACM Conference on Supporting Groupwork
Akash Lal and Shaz Qadeer

he application of software-verification technology towards building realistic bug-finding tools requires working through several precision-scalability tradeoffs. For instance, a critical aspect while dealing with C programs is to formally define the treatment of pointers and the heap (usually termed as the “memory model”). A machine-level modeling is often intractable, whereas one that leverages high-level information (such as types) can be inaccurate. Another tradeoff is modeling integer...

Publication details
Date: 1 November 2014
Type: Inproceeding
Seungwon Kim, Sasa Junuzovic, and Kori Inkpen

Mobile videoconferencing is increasingly being used to bring remote friends or family along to an activity happening outside the home, such as shopping or visiting a tourist attraction. We explored how including contextual information of the event, in addition to audio and video of the person at the event, impacts the shared experience. We studied three kinds of information: a map showing the position of the person at the activity, a second live video showing what was in front of that person, and a...

Publication details
Date: 1 November 2014
Type: Inproceeding
Publisher: ACM
Azadeh Forghani, Gina Venolia, and Kori Inkpen
Publication details
Date: 1 November 2014
Type: Inproceeding
Publisher: ACM
This is the 16th Northwest Probability Seminar, a one-day mini-conference organized by the University of Washington, the Oregon State University, the University of British Columbia, the University of Oregon, and the Theory Group at Microsoft Research.
Event details
Date: 25 October 2014
Location: Microsoft Research 99/1919
Type: Conference
The second PROMOTO Workshop will take place in Portland, Oregon, as part of SPLASH/OOPSLA 2014, October 20–24, 2014. Programming with Mobile and Touch (PROMOTO) is a forum for embracing the new realities of always-connected and/or touch-enabled devices. Topics under discussion will include cross-platform computing, cloud computing, social applications, privacy, and security. The challenges of new types of devices, such as large screens or gadgets with no screens, are very important.
Event details
Date: 20 October 2014
Location: Portland, OR, United States
Type: Workshop
This training at the Federal University of Rio Grande do Sul is offered to select research community audiences, predominantly consisting of practicing research scientists with at least basic software development skills. This one-day course will help attendees acquire a general understanding of cloud computing with Microsoft Azure at scale.
Event details
Date: 3 October 2014
Location: Porto Alegre, Rio Grande do Sul, Brazil
Type: Other
Pengfei Wan, Gene Cheung, Dinei Florencio, Cha Zhang, and Oscar Au

While modern displays offer high dynamic range (HDR) with large bit-depth for each rendered pixel, the bulk of legacy image and video contents were captured using cameras with shallower bit-depth. In this paper, we study the bit-depth enhancement problem for images, so that a high bit-depth (HBD) image can be reconstructed from an input low bit-depth (LBD) image. The key idea is to apply appropriate smoothing given the constraints that reconstructed signal must lie within the per-pixel quantization...

Publication details
Date: 1 October 2014
Type: Inproceeding
Publisher: IEEE – Institute of Electrical and Electronics Engineers
Andrew Baumann, Marcus Peinado, and Galen Hunt

To appear.

Publication details
Date: 1 October 2014
Type: Inproceeding
Publisher: USENIX – Advanced Computing Systems Association
Publication details
Date: 1 October 2014
Type: Inproceeding
Publisher: European Association for Theoretical Computer Science
This training at the Federal University of Amazonas (UFAM) is offered to select research community audiences, predominantly consisting of practicing research scientists with at least basic software development skills. This one-day course will help attendees acquire a general understanding of cloud computing with Microsoft Azure at scale.
Event details
Date: 1 October 2014
Location: Manaus, Amazonas, Brazil
Type: Other
Cha Zhang, Dinei Florencio, and Charles Loop

Compressing attributes on 3D point clouds such as colors or normal directions has been a challenging problem, since these attribute signals are unstructured. In this paper, we propose to compress such attributes with graph transform. We construct graphs on small neighborhoods of the point cloud by connecting nearby points, and treat the attributes as signals over the graph. The graph transform, which is equivalent to Kahunen-Loeve Transform on such graphs, is then adopted to decorrelate the signal....

Publication details
Date: 1 October 2014
Type: Inproceeding
Publisher: IEEE – Institute of Electrical and Electronics Engineers
This training at the Federal University of Pernambuco (UFPE) is offered to select research community audiences, predominantly consisting of practicing research scientists with at least basic software development skills. This one-day course will help attendees acquire a general understanding of cloud computing with Microsoft Azure at scale.
Event details
Date: 29 September 2014
Location: Recife, Pernambuco, Brazil
Type: Other
This training is offered to select research community audiences, predominantly consisting of practicing research scientists with at least basic software development skills. The default course consists of two days. Day one helps attendees acquire a general understanding of cloud computing with Microsoft Azure. Day two focuses on using Microsoft Azure at scale. Specific instances of the course may revise this basic structure.
Event details
Date: 24–25 September 2014
Location: Pittsburgh, PA, United States
Type: Workshop
This training is offered to select research community audiences, predominantly consisting of practising research scientists with at least basic software development skills. This one-day course helps attendees acquire a general understanding of cloud computing with Microsoft Azure at scale.
Event details
Date: 17 September 2014
Location: Atlanta, GA, United States
Type: Other
Chloe Brown, Christos Efstratiou, Ilias Leontiadis, Daniele Quercia, Cecilia Mascolo, James Scott, and Peter Key

The layouts of the buildings we live in shape our everyday lives. In office environments, building spaces affect employees’ communication, which is crucial for productivity and innovation. However, accurate measurement of how spatial layouts affect interactions is a major challenge and traditional techniques may not give an objective view.

We measure the impact of building spaces on social interactions using wearable sensing devices. We study a single organization that moved between two...

Publication details
Date: 13 September 2014
Type: Inproceeding
Publisher: ACM – Association for Computing Machinery
Yan Huang, Malcolm Slaney, Michael L. Seltzer, and Yifan Gong

Modeling heterogeneous data sources remains a fundamental challenge of acoustic modeling in speech recognition. We call this the multi-condition problem because the speech data come from many different conditions. In this paper, we introduce the fundamental confusability problem in multi-condition learning, then discuss the problem formalization, the taxonomy, and the architectures for multi-condition learning. While the ideas presented are applicable to all classifiers, we focus our attention in this...

Publication details
Date: 13 September 2014
Type: Inproceeding
Publisher: ISCA - International Speech Communication Association
Publication details
Date: 13 September 2014
Type: Inproceeding
Publisher: Ubicomp
Daniel J. Liebling and Susan T. Dumais

Gaze tracking technology is increasingly common in desktop, laptop and mobile scenarios. Most previous research on eye gaze patterns during human-computer interaction has been confined to controlled laboratory studies. In this paper we present an in situ study of gaze and mouse coordination as participants went about their normal activities. We analyze the coordi-nation between gaze and mouse, showing that gaze often leads the mouse, but not as much as previously reported, and in ways that depend on the...

Publication details
Date: 13 September 2014
Type: Inproceeding
Publisher: ACM – Association for Computing Machinery
Malcolm Slaney and Michael L. Seltzer

Most features used for speech recognition are derived from the output of a filterbank inspired by the auditory system. The two most commonly used filter shapes are the triangular filters used in MFCC (mel-frequency cepstral coefficients) and the gammatone filters that model psychoacoustic critical bands. However, for both of these filterbanks there are free parameters that must be chosen by the system designer. In this paper, we explore the effect that different parameter settings have on the...

Publication details
Date: 13 September 2014
Type: Inproceeding
Publisher: ISCA - International Speech Communication Association
Dan Liebling and Sören Preibusch

Multiple vendors now provide relatively inexpensive desktop eye and gaze tracking devices. ith miniatureization and decreasing manufacturing costs, gaze trackers will follow the path of webcams, becoming ubiquitous and inviting many of the same privacy concerns. However, whereas the privacy loss from webcams may be obvious to the user, gaze tracking is more opaque and deserves special attention. In this paper, we review current research in gaze tracking and pupillometry and argue that gaze data should...

Publication details
Date: 13 September 2014
Type: Inproceeding
Publisher: ACM – Association for Computing Machinery
1–25 of 22237
Sort
Show 25 | 50 | 100
1234567Next 
> Our research