2451 search results - page 43 / 491 » The Octagon Abstract Domain |
143
Voted
CIE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a domain theoretic framework for obtaining exact solutions of linear boundary value problems. Based on the domain of compact real intervals, we show how to app...
138
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
To maximize efficiency in time and space, allocations and deallocations, in the exact linear algebra library LinBox, must always occur in the founding scope. This provides a simpl...
160
click to vote
ICA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In brain computer interface based on motor imagery, covariances matrices are widely used through spatial filters computation and other signal processing methods. Covarian...
154
click to vote
DAC
2002
ACM
16 years 6 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...
150
click to vote
UM
2009
Springer
16 years 4 days 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...