208 search results - page 19 / 42 » Realization using the model existence theorem |
124
click to vote
JMLR
2010
14 years 11 months ago
2010
As we devise more complicated prior distributions, will inference algorithms keep up? We highlight a negative result in computable probability theory by Ackerman, Freer, and Roy (...
153
click to vote
ECSQARU
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
137
click to vote
ICN
2001
Springer
15 years 8 months ago
2001
Springer
This paper addresses multicast routing in multi-hop optical networks employing wavelength-division multiplexing (WDM). We consider a model in which multicast communication requests...
143
click to vote
TON
2002
15 years 4 months ago
2002
Abstract--This paper addresses multicast routing in circuitswitched multihop optical networks employing wavelength-division multiplexing. We consider a model in which multicast com...
140
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...