17983 search results - page 169 / 3597 » Set Types and Applications |
143
click to vote
ICASSP
2008
IEEE
16 years 28 days ago
2008
IEEE
We consider the problem of online learning in a changing environment under sparse user feedback. Specifically, we address the classification of music types according to a user...
178
click to vote
LICS
2008
IEEE
16 years 26 days ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
162
click to vote
ICANN
2005
Springer
16 years 40 min ago
2005
Springer
Abstract. The paper presents a new version of a GMDH type algorithm able to perform an automatic model structure synthesis, robust model parameter estimation and model validation i...
164
click to vote
PADO
2001
Springer
15 years 11 months ago
2001
Springer
Tag elimination is a program transformation for removing unnecessary tagging and untagging operations from automatically generated programs. Tag elimination was recently proposed a...
150
click to vote
HT
1998
ACM
15 years 10 months ago
1998
ACM
We describe a set of tools to support navigational hypermedia linking within audio (‘branching audio’) and between media types including audio. We have adopted an open hyperme...