Sciweavers

261 search results - page 20 / 53
» Alternative Bloat Control Methods
Sort
View
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...
RECSYS
2010
ACM
13 years 6 months ago
Merging multiple criteria to identify suspicious reviews
Assessing the trustworthiness of reviews is a key issue for the maintainers of opinion sites such as TripAdvisor, given the rewards that can be derived from posting false or biase...
Guangyu Wu, Derek Greene, Padraig Cunningham
ICASSP
2010
IEEE
13 years 7 months ago
Statistical approach to enhancing esophageal speech based on Gaussian mixture models
This paper presents a novel method of enhancing esophageal speech using statistical voice conversion. Esophageal speech is one of the alternative speaking methods for laryngectome...
Hironori Doi, Keigo Nakamura, Tomoki Toda, Hiroshi...
GRAPHICSINTERFACE
2008
13 years 9 months ago
Context-controlled flow visualization in augmented reality
A major challenge of novel scientific visualization using Augmented Reality is the accuracy of the user/camera position tracking. Many alternative techniques have been proposed, b...
Mike Eissele, Matthias Kreiser, Thomas Ertl
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
14 years 16 days ago
Inverse Kinematics of Gel Robots made of Electro-Active Polymer Gel
This paper proposes an inverse kinematic model for deformable robots made entirely of electro-active polymer gel. The required method is to control higher degrees of freedom than ...
Mihoko Otake, Yoshiharu Kagami, Yasuo Kuniyoshi, M...