528 search results - page 31 / 106 » Degrees of categoricity of computable structures |
ENTCS
2002
15 years 1 months ago
2002
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
161
Voted
TOCL
2012
13 years 3 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
102
click to vote
LREC
2010
15 years 3 months ago
2010
tions arise for standoff annotation when the annotation is not on the source text itself, but on a more abstract representation. This is particularly the case in a language such a...
127
click to vote
SDM
2007
SIAM
15 years 2 months ago
2007
SIAM
We introduce a new approach for Clustering and Aggregating Relational Data (CARD). We assume that data is available in a relational form, where we only have information about the ...
108
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Population structure analysis is important to genetic association studies and evolutionary investigations. Parametric approaches, e.g. STRUCTURE and L-POP, usually ass...