9405 search results - page 344 / 1881 » Computing a Model of Set Theory |
135
click to vote
NIPS
2000
15 years 6 months ago
2000
Recent work has exploited boundedness of data in the unsupervised learning of new types of generative model. For nonnegative data it was recently shown that the maximum-entropy ge...
137
click to vote
JSYML
2008
15 years 3 months ago
2008
Much previous study has been done on the degree spectra of prime models of a complete atomic decidable theory. Here we study the analogous questions for homogeneous models. We say...
168
click to vote
MOBIHOC
2010
ACM
15 years 3 months ago
2010
ACM
We investigate the performance of longest-queue-first (LQF) scheduling (i.e., greedy maximal scheduling) for wireless networks under the SINR interference model. This interference...
144
click to vote
ICFEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
144
click to vote
ASWEC
2008
IEEE
15 years 11 months ago
2008
IEEE
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...