2451 search results - page 303 / 491 » The Octagon Abstract Domain |
137
click to vote
MOC
2011
14 years 11 months ago
2011
Abstract. Local energy error estimates for the finite element method for elliptic problems were originally proved in 1974 by Nitsche and Schatz. These estimates show that the loca...
156
click to vote
TCBB
2011
14 years 11 months ago
2011
Abstract—Though biomedical research often draws on knowledge from a wide variety of fields, few visualization methods for biomedical data incorporate meaningful cross-database e...
141
click to vote
SIAMNUM
2010
14 years 11 months ago
2010
Abstract. We introduce hybridization and postprocessing techniques for the RaviartThomas approximation of second-order elliptic eigenvalue problems. Hybridization reduces the Ravia...
159
click to vote
TSMC
2010
14 years 11 months ago
2010
Abstract--While a number of modeling languages for constructing multiagent systems (MASs) have been suggested, none of them is widely accepted and used. A prominent reason for this...
133
click to vote
TWC
2010
14 years 11 months ago
2010
Abstract--In this paper we investigate the opportunistic spectrum access in temporal domain where a secondary user shares a radio channel with a primary user during the OFF period ...