228 search results - page 9 / 46 » An effective theory of type refinements |
ACS
2004
13 years 7 months ago
2004
In this paper we continue the investigation of some aspects of descent theory for schemes that was begun in [11]. Let SCH be a category of schemes. We show that quasi-compact pure ...
ICDM
2006
IEEE
14 years 1 months ago
2006
IEEE
Heterogeneous object co-clustering has become an important research topic in data mining. In early years of this research, people mainly worked on two types of heterogeneous data ...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
Search engine logs are an emerging new type of data that offers interesting opportunities for data mining. Existing work on mining such data has mostly attempted to discover knowl...