662 search results - page 49 / 133 » Formalizing Basic First Order Model Theory |
103
Voted
LLC
2011
14 years 9 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...
99
Voted
ICML
2002
IEEE
16 years 3 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...
120
Voted
CSL
2009
Springer
15 years 9 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...
240
click to vote
POPL
2006
ACM
16 years 2 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...
99
Voted
IJIQ
2008
15 years 2 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...