1768 search results - page 85 / 354 » A Logic for Algebraic Effects |
97
Voted
INFOCOM
2002
IEEE
15 years 5 months ago
2002
IEEE
Abstract— In this paper we consider the issue of network capacity. The recent work by Li and Yeung examined the network capacity of multicast networks and related capacity to cut...
99
Voted
VLDB
1993
ACM
15 years 4 months ago
1993
ACM
Although scientific data analysis increasingly requires accessandmanipulation of large quantitiesof data,current databasetechnology fails to meet the needsof scientific processing...
131
Voted
COMPGEOM
2001
ACM
15 years 4 months ago
2001
ACM
: Many geometric problems like generalized Voronoi diagrams, medial axis computations and boundary evaluation involve computation and manipulation of non-linear algebraic primitive...
95
Voted
AAMAS
2007
Springer
15 years 26 days ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
74
Voted
APAL
2002
15 years 18 days ago
2002
Whenever a structure with a particularly interesting computability-theoretic property is found, it is natural to ask whether similar examples can be found within well-known classe...