31387 search results - page 6097 / 6278 » Abstracting abstract machines |
161
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Group elevator scheduling has long been recognized as an important problem for building transportation efficiency, since unsatisfactory elevator service is one of the major complai...
178
click to vote
ANOR
2005
15 years 6 months ago
2005
Abstract. This is an overview of the significance and main uses of projection, lifting and extended formulation in integer and combinatorial optimization. Its first two sections de...
167
click to vote
TASLP
2008
15 years 6 months ago
2008
Abstract--We describe in this paper an audio denoising technique based on sparse linear regression with structured priors. The noisy signal is decomposed as a linear combination of...
210
click to vote
TASLP
2008
15 years 6 months ago
2008
Abstract--We propose an automatic method for measuring content-based music similarity, enhancing the current generation of music search engines and recommender systems. Many previo...
160
click to vote
APAL
2005
15 years 6 months ago
2005
Abstract. There is a very simple way in which the safe/normal variable discipline of Bellantoni-Cook recursion (1992) can be imposed on arithmetical theories like PA: quantify over...