2742 search results - page 19 / 549 » Deriving Category Theory from Type Theory |
BCSHCI
2008
13 years 10 months ago
2008
This research aims to create an MECE (Mutually Exclusive, Collectively Exhaustive) categorisation method for typing errors. The research is grounded in theory by gathering typing ...
ICEIS
2003
IEEE
14 years 2 months ago
2003
IEEE
: A definition of types in an information system is given from real-world abstractions through data constructs, schema and definitions to physical data values. Category theory su...
PAMI
1998
13 years 8 months ago
1998
—It is well-known that the linear scale-space theory in computer vision is mainly based on the Gaussian kernel. The purpose of the paper is to propose a scale-space theory based ...
ACS
2004
13 years 8 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 ...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
−−−− The simultaneous localization and mapping (SLAM) with detection and tracking of moving objects (DATMO) problem is not only to solve the SLAM problem in dynamic environ...