9405 search results - page 308 / 1881 » Computing a Model of Set Theory |
175
click to vote
EMS
2008
IEEE
15 years 6 months ago
2008
IEEE
Threat modeling plays an important role in the deployment of optimal security controls and a number of threat modeling techniques have been proposed. However, most of the existing...
141
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, fo...
142
click to vote
PLILP
1993
Springer
15 years 9 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
164
click to vote
SDM
2008
SIAM
15 years 6 months ago
2008
SIAM
In constrained clustering it is common to model the pairwise constraints as edges on the graph of observations. Using results from graph theory, we analyze such constraint graphs ...
132
click to vote
DISOPT
2008
15 years 5 months ago
2008
This paper considers how to optimally set the basestock level for a single buffer when demand is uncertain, in a robust framework. We present a family of algorithms based on decom...