Sciweavers

494 search results - page 60 / 99
» Real-Time and Hybrid Systems Testing
Sort
View
EC
2008
146views ECommerce» more  EC 2008»
14 years 9 months ago
Automated Discovery of Local Search Heuristics for Satisfiability Testing
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
Alex S. Fukunaga
HICSS
2002
IEEE
171views Biometrics» more  HICSS 2002»
15 years 2 months ago
Asynchronous Videoconferencing: A Hybrid Communication Prototype
This report introduces a hybrid asynchronous, distributed audio/video group conferencing system. One of the chief benefits of Internet communication systems is that they allow com...
James H. Watt, Joseph B. Walther, Kristine L. Nowa...
IROS
2009
IEEE
144views Robotics» more  IROS 2009»
15 years 4 months ago
Experimental validation of a hybrid mobile robot mechanism with interchangeable locomotion and manipulation
—This video submission presents the experimental validation and testing of a novel Hybrid Mobile Robot (HMR) system design using a complete physical prototype. The HMR consists o...
Pinhas Ben-Tzvi
MICCAI
2009
Springer
15 years 11 months ago
Predictive Simulation of Bidirectional Glenn Shunt Using a Hybrid Blood Vessel Model
Abstract. This paper proposes a method for performing predictive simulation of cardiac surgery. It applies a hybrid approach to model the deformation of blood vessels. The hybrid b...
Hao Li, Wee Kheng Leow, Ing-Sh Chiu
OR
2007
Springer
14 years 9 months ago
Hybrid heuristics for the probabilistic maximal covering location-allocation problem
The Maximal Covering Location Problem (MCLP) maximizes the population that has a facility within a maximum travel distance or time. Numerous extensions have been proposed to enhan...
Francisco de Assis Corrêa, Antonio Augusto C...