2478 search results - page 92 / 496 » Quadtrees as an Abstract Domain |
ICA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper, we investigate the importance of the high frequencies in the problem of convolutive blind source separation (BSS) of speech signals. In particular, we focu...
ICLP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
IFL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This contribution gives an overview of various access control strategies in use in contemporary healthcare scenarios and shows how a broad variety of respective policies ...
FDL
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— A modeling methodology for mixed physical domains system in a new modelling Language is presented. The system is automotive seating vibration isolation system with elec...