949 search results - page 162 / 190 » ISAC - Instance-Specific Algorithm Configuration |
ICA
2010
Springer
13 years 8 months ago
2010
Springer
Most of audio source separation methods are developed for a particular scenario characterized by the number of sources and channels and the characteristics of the sources and the m...
CIDM
2007
IEEE
13 years 8 months ago
2007
IEEE
— Detecting unknown worms is a challenging task. Extant solutions, such as anti-virus tools, rely mainly on prior explicit knowledge of specific worm signatures. As a result, aft...
ACTA
2010
13 years 8 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
AROBOTS
2010
13 years 8 months ago
2010
Limitations in modern sensing technologies result in large errors in sensed target object geometry and location in unstructured environments. As a result, positioning a robotic end...
AUTOMATICA
2010
13 years 8 months ago
2010
The problem of target localization involves estimating the position of a target from multiple and typically noisy measurements of the target position. It is well known that the re...