2448 search results - page 43 / 490 » The Octahedron Abstract Domain |
DAC
2002
ACM
14 years 9 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
UM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper examines the problem of uncertainty due to instrumentation in user modeling systems within spatial domains. We consider the uncertainty of inferring a user’s...
MMSP
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—In this paper we study the problem of evaluating the reconstruction distortion in the wavelet domain when adaptive lifting schemes (ALS) are used for the direct and inve...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— In this paper, we propose a frequency domain adaptive estimation of Doppler shifts for multiple Doppler subpaths in direct sequence code division multiple access (DS-CD...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. An ontology is a model of a domain of knowledge. The knowledge that is captured in an ontology can be used for providing interoperability, sharing of information and redu...