Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Xiangtian Dai

dblp:58/6134 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
0since 2021 · last 2006
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 2 · 1 first-authorSystems, architecture and hardware · 1 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 100%
Artificial intelligence
1 paper
Robot manipulation · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Programming languages and type systems
domain-specific languages		 0.012002
Specifying Behavior in C++ · ICRA 2002
Programming languages and type systems › programming paradigms
functional reactive programming		 0.012002
Specifying Behavior in C++ · ICRA 2002
Programming languages and type systems
language design		 0.012002
Specifying Behavior in C++ · ICRA 2002
Robotics › Robot manipulation
robot programming		 0.012002
Specifying Behavior in C++ · ICRA 2002

Methods — techniques the papers use, named apart from their topics

functional reactive programming · 0.1
YearPublicationVenuePosition
2006 Efficient particle filtering using RANSAC with application to 3D face tracking
Le Lu 0001, Xiangtian Dai, Gregory D. Hager
 Image Vis. Comput.2
2005 DaVinci Canvas: A Telerobotic Surgical System with Integrated, Robot-Assisted, Laparoscopic Ultrasound Capability
Joshua Leven, Darius Burschka, Rajesh Kumar 0001, Gary Zhang, Steve Blumenkranz, Xiangtian Dai, Michael Awad, Gregory D. Hager, Mike Marohn, Michael A. Choti, Christopher J. Hasser, Russell H. Taylor
 MICCAI6
2002 Specifying Behavior in C++
abstract
Most robot programming takes place in the "time domain", that is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and is required to provide a continual, temporal stream of outputs. We present a reactive programming language, based on the functional reactive programming paradigm, for specifying such behavior. The major attributes of this language are: 1) it provides for both synchronous and asynchronous definitions of behavior; 2) specification is equational in nature; 3) it is type safe; and 4) it is embedded in C++. In particular the latter makes it simple to "lift" existing C++ libraries into the language.
Xiangtian Dai, Gregory D. Hager, John Peterson
 ICRA1