662 search results - page 49 / 133 » Formalizing Basic First Order Model Theory |
LLC
2011
13 years 2 months ago
2011
Computational phonology studies sound patterns in the world’s languages from a computational perspective. This article shows that the similarities between different generative t...
ICML
2002
IEEE
14 years 8 months ago
2002
IEEE
We present two results which arise from a model-based approach to hierarchical agglomerative clustering. First, we show formally that the common heuristic agglomerative clustering...
CSL
2009
Springer
14 years 2 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
POPL
2006
ACM
14 years 8 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
IJIQ
2008
13 years 7 months ago
2008
: Digital services can be thought as internet based applications that fulfil users' needs and their quality represents a basic element during the delivery process. In such a c...