Sciweavers

1155 search results - page 188 / 231
» Continuous dynamic problem generators for evolutionary algor...
Sort
View
PLDI
2012
ACM
13 years 3 months ago
Fast and precise hybrid type inference for JavaScript
JavaScript performance is often bound by its dynamically typed nature. Compilers do not have access to static type information, making generation of efficient, type-specialized m...
Brian Hackett, Shu-yu Guo
96
Voted
WSC
2007
15 years 2 months ago
IFAO-SIMO: a spatial-simulation based facility network optimization framework
This paper describes an innovative framework, iFAOSimo, which integrates optimization, simulation and GIS (geographic information system) techniques to handle complex spatial faci...
Ming Xie, Wei Wang, Wen Jun Yin, Jin Dong
ISMIR
2004
Springer
236views Music» more  ISMIR 2004»
15 years 5 months ago
Rhythm and Tempo Recognition of Music Performance from a Probabilistic Approach
This paper concerns both rhythm recognition and tempo analysis of expressive music performance based on a probabilistic approach. In rhythm recognition, the modern continuous spee...
Haruto Takeda, Takuya Nishimoto, Shigeki Sagayama
91
Voted
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
15 years 1 months ago
Using Redundant Constraints for Refinement
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...
SOCA
2008
IEEE
15 years 12 days ago
Log-based mining techniques applied to Web service composition reengineering
There is no doubt that SOA and BPM will continue to evolve dependently for the next ten years. Preparing common research infrastructures will require most important efforts of web ...
Walid Gaaloul, Karim Baïna, Claude Godart