2152 search results - page 106 / 431 » On Automating the Calculus of Relations |
149
Voted
ICFP
1997
ACM
15 years 5 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...
114
Voted
AAAI
1996
15 years 2 months ago
1996
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
115
Voted
CORR
2008
Springer
15 years 26 days ago
2008
Springer
It is shown that bandwidth estimation in packet networks can be viewed in terms of min-plus linear system theory. The available bandwidth of a link or complete path is expressed i...
139
click to vote
ESOP
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
167
Voted
HYBRID
2011
Springer
14 years 12 days ago
2011
Springer
A wireless networked control systems (NCS) is a control system whose feedback path is realized over a wireless communication network. The stability of such systems can be problema...