1393 search results - page 93 / 279 » Home, work, (play) |
168
click to vote
ENTCS
2008
15 years 6 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
133
click to vote
PUC
2006
15 years 6 months ago
2006
This paper reports design requirements derived from an ethnographic fieldwork on road inspectors, the design of a mobile service supporting infrastructure management, and initial u...
170
click to vote
FSS
2010
15 years 4 months ago
2010
Recently, many works have appeared dealing with the distributivity of fuzzy implications over t-norms, tconorms and uninorms (see [2, 3, 4, 5, 12, 13, 14]). These equations have a...
207
click to vote
IC
2010
15 years 4 months ago
2010
Network services play an important role in the Internet today. They serve as data caches for websites, servers for multiplayer games and relay nodes for Voice over IP (VoIP) conver...
208
click to vote
PODC
2012
ACM
13 years 8 months ago
2012
ACM
Multi-party communication complexity involves distributed computation of a function over inputs held by multiple distributed players. A key focus of distributed computing research...