Sciweavers

263 search results - page 18 / 53
» Experiments with the DFL Hybrid System
Sort
View
LREC
2010
185views Education» more  LREC 2010»
13 years 9 months ago
Wikipedia and the Web of Confusable Entities: Experience from Entity Linking Query Creation for TAC 2009 Knowledge Base Populati
The Text Analysis Conference (TAC) is a series of Natural Language Processing evaluation workshops organized by the National Institute of Standards and Technology. The Knowledge B...
Heather Simpson, Stephanie Strassel, Robert Parker...
CAV
2007
Springer
145views Hardware» more  CAV 2007»
13 years 11 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 12 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
AINA
2006
IEEE
14 years 1 months ago
Communication between Outdoor Field and Immersive Virtual Environment
This paper proposes the concept of the hybrid information space that integrates the information space seamlessly between the real world and the virtual world, and the prototype sy...
Tetsuro Ogi, Tetsuro Fujise
AIIDE
2006
13 years 9 months ago
A Guided Performance Interface for Augmenting Social Experiences with an Interactive Animatronic Character
Entertainment animatronics has traditionally been a discipline devoid of interactivity. Previously, we brought interactivity to this field by creating a suite of content authoring...
Seema Patel, William Bosley, David Culyba, Sabrina...