1052 search results - page 97 / 211 » Foundations for Virtual Types |
APAL
2006
13 years 9 months ago
2006
We introduce the notion of infinitary preorder and use it to obtain a predicative presentation of sup-lattices by generators and relations. The method is uniform in that it extend...
DKE
2007
13 years 8 months ago
2007
In our days knowledge extraction methods are able to produce artifacts (also called patterns) that concisely represent data. Patterns are usually quite heterogeneous and require a...
COMBINATORICS
2004
13 years 8 months ago
2004
We consider Class-Uniformly Resolvable frames (CURFs), which are group divisible designs with partial resolution classes subject to the class-uniform condition. We derive the nece...
SYNTHESE
2010
13 years 7 months ago
2010
This paper presents a novel semantic analysis of unit names (like pound and meter) and gradable adjectives (like tall, short and happy), inspired by measurement theory (Krantz et a...
EUSFLAT
2009
13 years 6 months ago
2009
This paper presents a new framework to model an assessment process for a complex and multidimensional syndrome such as depression. Since the measurements of depression are inherent...