2448 search results - page 93 / 490 » The Octahedron Abstract Domain |
SIAMNUM
2010
13 years 2 months ago
2010
Abstract. We introduce hybridization and postprocessing techniques for the RaviartThomas approximation of second-order elliptic eigenvalue problems. Hybridization reduces the Ravia...
TSMC
2010
13 years 2 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...
TWC
2010
13 years 2 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 ...
ECIR
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Training data as well as supplementary data such as usagebased click behavior may abound in one search market (i.e., a particular region, domain, or language) and be much...
COSIT
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...