12194 search results - page 52 / 2439 » cans 2010 |
COLING
2010
13 years 3 months ago
2010
A great deal of information on the Web is represented in both textual and structured form. The structured form is machinereadable and can be used to augment the textual data. We c...
CLIMA
2010
13 years 10 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
SE
2010
13 years 10 months ago
2010
Abstract: Plug-in frameworks support the development of component-based software that is extensible and customizable to the needs of specific users. However, most current framework...
ALGORITHMICA
2010
13 years 8 months ago
2010
Abstract. We consider the variant of the classical Stable Marriage problem where preference lists can be incomplete and may contain ties. In such a setting, finding a stable matchi...
ALGORITHMICA
2010
13 years 8 months ago
2010
Given a stable marriage problem instance represented by a bipartite graph having 2n vertices and m edges, we describe an algorithm that can verify the stability of k different mat...