Sciweavers

1547 search results - page 192 / 310
» The Isabelle Collections Framework
Sort
View
101
Voted
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
14 years 11 months ago
Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
Jeremy H. Gillula, Haomiao Huang, Michael P. Vitus...
115
Voted
ISVC
2010
Springer
14 years 11 months ago
Combining Automated and Interactive Visual Analysis of Biomechanical Motion Data
Abstract. We present a framework for combining automated and interactive visual analysis techniques for use on high-resolution biomechanical data. Analyzing the complex 3D motion o...
Scott Spurlock, Remco Chang, Xiaoyu Wang, George A...
PUC
2010
84views more  PUC 2010»
14 years 11 months ago
Information privacy in institutional and end-user tracking and recording technologies
This paper presents an analysis of attitudes towards everyday tracking and recording technologies (e.g., credit cards, store loyalty cards, store video cameras). This work focuses ...
David H. Nguyen, Gillian R. Hayes
SIGDIAL
2010
14 years 10 months ago
Towards an Empirically Motivated Typology of Follow-Up Questions: The Role of Dialogue Context
A central problem in Interactive Question Answering (IQA) is how to answer Follow-Up Questions (FU Qs), possibly by taking advantage of information from the dialogue context. We a...
Manuel Kirschner, Raffaella Bernardi
123
Voted
SOCIALCOM
2010
14 years 10 months ago
Learning to Predict Ad Clicks Based on Boosted Collaborative Filtering
This paper addresses the topic of social advertising, which refers to the allocation of ads based on individual user social information and behaviors. As social network services (e...
Teng-Kai Fan, Chia-Hui Chang