4190 search results - page 415 / 838 » Type Class Directives |
183
Voted
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
181
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
– In IEEE 802.16e networks, the mobility of mobile stations (MSs) induces that energy saving becomes an important issue for the battery-powered MSs to extend their operational li...
182
click to vote
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, multi-modal Magnetic Resonance (MR) images are integrated into a tissue profile that aims at differentiating tumor components, edema and normal tissue. This is achi...
207
Voted
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
192
click to vote
IEEEPACT
2005
IEEE
16 years 13 days ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...