20294 search results - page 295 / 4059 » Algorithmic Information Theory |
204
click to vote
INFOCOM
1997
IEEE
15 years 11 months ago
1997
IEEE
Rate-based feedback congestion control has been proposed as a form of traffic management for available bit rate traffic in ATM networks. This paper discusses applying linear con...
158
click to vote
MSCS
2008
15 years 6 months ago
2008
The idea of coercive subtyping, a theory of abbreviation for dependent type theories, is incorporated into the polymorphic type system in functional programming languages. The tra...
206
Voted
LOPSTR
2007
Springer
16 years 26 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
166
Voted
ICMCS
2006
IEEE
16 years 23 days ago
2006
IEEE
Content-based Image retrieval has become an important part of information retrieval technology. Images can be viewed as high dimensional data and are usually represented by their ...
171
click to vote
SIGDOC
2010
ACM
15 years 5 months ago
2010
ACM
This paper describes an original method for evaluating peer review in online systems by calculating the helpfulness of an individual reviewer's response. We focus on the deve...