2694 search results - page 101 / 539 » Frege's New Science |
167
click to vote
CSE
2008
IEEE
15 years 7 months ago
2008
IEEE
During the last years a large number of research works has focused on problems related to multi-core processors. Due to the possibilities of many cores, the number of opportunitie...
177
click to vote
TCS
2011
15 years 1 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
206
click to vote
TCS
2010
15 years 1 months ago
2010
We consider network congestion problems between TCP flows and define a new game, the Window-game, which models the problems of network congestion caused by the competing flows. An...
183
click to vote
CSCW
2011
ACM
14 years 10 months ago
2011
ACM
Standard web browsers are becoming a common platform for delivering groupware applications, but until recently, the only way to support real-time collaboration was with browser pl...
196
click to vote
CSDA
2011
14 years 10 months ago
2011
: In image processing, image similarity indices evaluate how much structural information is maintained by a processed image in relation to a reference image. Commonly used measures...