3238 search results - page 540 / 648 » Multi-return function call |
ESOP
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
NIPS
2000
13 years 11 months ago
2000
Source separation, or computational auditory scene analysis, attempts to extract individual acoustic objects from input which contains a mixture of sounds from different sources, ...
BMCBI
2010
13 years 10 months ago
2010
Background: Our current understanding of transcription factor binding sites (TFBSs) in sequenced prokaryotic genomes is very limited due to the lack of an accurate and efficient c...
JSS
2008
13 years 10 months ago
2008
So far, many researches have been done to develop efficient music retrieval systems, and query-by-humming has been considered as one of the most intuitive and effective query meth...
PERVASIVE
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Activity inference based on object use has received considerable recent attention. Such inference requires statistical models that map activities to the objects used in p...