2588 search results - page 172 / 518 » Applications of Kolmogorov complexity to computable model th... |
125
click to vote
GEOINFO
2003
15 years 3 months ago
2003
Planning and optimizing urban traffic is a difficult problem, with considerable economic and social impacts. The development of suitable software tools to aid municipal governments...
IPPS
2009
IEEE
15 years 8 months ago
2009
IEEE
— This paper presents a tool, the Performance Model Manager, which addresses the complexity of the construction and management of a set of Functional Performance Models on a comp...
103
click to vote
ICC
2009
IEEE
15 years 8 months ago
2009
IEEE
— This paper presents a simple method for computing throughputs of links in a CSMA network. We call our method back-of-the-envelop (BoE) computation, because for many network con...
110
click to vote
ICTAI
2005
IEEE
15 years 7 months ago
2005
IEEE
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
105
click to vote
ASSETS
2005
ACM
15 years 3 months ago
2005
ACM
The possibility of pre-compensating images in a computer display according to the visual aberrations previously assessed in an optical system (e.g., the computer user’s eye) has...