19 search results - page 2 / 4 » Categorical Models for Simply Typed Resource Calculi |
ANSS
1995
IEEE
13 years 9 months ago
1995
IEEE
In this paper we present simulation algorithmsthat characterize the main sources of communication generated by parallel applications under both invalidate and updatebased cache co...
IJCNN
2007
IEEE
13 years 11 months ago
2007
IEEE
— Category Ranking is a variant of the multi-label classification problem, in which, rather than performing a (hard) assignment to an object of categories from a predefined set...
TLCA
2009
Springer
13 years 12 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...
WSC
1998
13 years 6 months ago
1998
To begin using simulation in healthcare, one must first recognize the types of problems or decisions that can best be analyzed using simulation. Once a problem has been identified...
HICSS
2005
IEEE
13 years 11 months ago
2005
IEEE
Finding images over the internet can be trying at best. Many industries such as advertising, marketing, image consultants, print media, and medical imaging deal with electronic im...