3273 search results - page 155 / 655 » types 2007 |
125
click to vote
ICA
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we describe a methodology for model-based single channel separation of sounds. We present a sparse latent variable model that can learn sounds based on their distribu...
147
click to vote
RSEISP
2007
Springer
15 years 10 months ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
156
click to vote
AMS
2007
Springer
15 years 8 months ago
2007
Springer
When an outdoor mobile robot traverses different types of ground surfaces, different types of vibrations are induced in the body of the robot. These vibrations can be used to learn...
119
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
- This paper presents a simulation tool targeted specifically at bang-bang type phase locked loop systems. The aim of this simulator is to quickly and accurately predict important ...
164
click to vote
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...