1071 search results - page 172 / 215 » The Calculus of Algebraic Constructions |
108
click to vote
SAC
2002
ACM
14 years 11 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
121
click to vote
EFDBS
2003
15 years 1 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
GIS
2010
ACM
14 years 10 months ago
2010
ACM
Object representation and reasoning in vector based geographic information systems (GIS) is based on Euclidean geometry. Euclidean geometry is built upon Euclid's first postu...
STOC
2007
ACM
16 years 5 days ago
2007
ACM
A q-query Locally Decodable Code (LDC) encodes an n-bit message x as an N-bit codeword C(x), such that one can probabilistically recover any bit xi of the message by querying only...
100
click to vote
EUSFLAT
2007
15 years 1 months ago
2007
The recent advances in the research of left-continuous t-norms is summarized in this talk. The main focus is on construction methods, geometric description, and structural charact...