Sciweavers

1847 search results - page 140 / 370
» Hybrid Functional Interpretations
Sort
View
JGO
2010
138views more  JGO 2010»
15 years 4 months ago
Continuous GRASP with a local active-set method for bound-constrained global optimization
Abstract. Global optimization seeks a minimum or maximum of a multimodal function over a discrete or continuous domain. In this paper, we propose a hybrid heuristic – based on th...
Ernesto G. Birgin, Erico M. Gozzi, Mauricio G. C. ...
WISE
2009
Springer
16 years 3 months ago
A Web Recommender System for Recommending, Predicting and Personalizing Music Playlists
In this paper, we present a Web recommender system for recommending, predicting and personalizing music playlists based on a user model. We have developed a hybrid similarity match...
Zeina Chedrawy, Syed Sibte Raza Abidi
TPHOL
2008
IEEE
16 years 7 days ago
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
Sayan Mitra, K. Mani Chandy
VTC
2007
IEEE
102views Communications» more  VTC 2007»
16 years 4 days ago
An Efficient HCF Scheduling Mechanism in Mixed Traffic Scenarios
In this paper an efficient scheduling mechanism for wireless local area networks (WLAN) is proposed. This innovative scheme, named hybrid HCCA-EDCA centralised scheme (HHECS), is b...
David Gozalvez, Jose F. Monserrat, Javier Goz&aacu...
HYBRID
1999
Springer
15 years 10 months ago
As Soon as Possible: Time Optimal Control for Timed Automata
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
Eugene Asarin, Oded Maler