2625 search results - page 472 / 525 » Applications 2000 |
166
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
158
click to vote
FOCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Randomness extractors convert weak sources of randomness into an almost uniform distribution; the conversion uses a small amount of pure randomness. In algorithmic applications, t...
163
click to vote
ICDCS
2000
IEEE
15 years 8 months ago
2000
IEEE
For transmission of continuous media (CM) streams such as audio and video over the Internet, a critical issue is that periodic network overloads cause bursty packet losses. Studie...
144
click to vote
ICDCSW
2000
IEEE
15 years 8 months ago
2000
IEEE
Support of end-to-end Quality-of-Service (QoS) and ate high-level programming abstractions are two crucial factors for the development of future telecommunication services and dis...
138
click to vote
ICEIS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes the development of Information System (IS) at Masaryk University in Brno. It supports full range of administrative and information functions in the study area,...