2742 search results - page 359 / 549 » Deriving Category Theory from Type Theory |
IADIS
2004
13 years 10 months ago
2004
Computer-mediated communication (CMC) is fundamentally different to face-to-face (FTF) communication. The low bandwidth of CMC filters out important social and contextual cues, wh...
FLAIRS
2000
13 years 10 months ago
2000
Traditional benchmarking methods for information retrieval (IR) are based on experimental performance evaluation. Although the metrics precision and recall can measure the perform...
AAAI
1994
13 years 10 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
IAAI
1993
13 years 10 months ago
1993
Identification and characterization of indications in eddy current (ET) signals can be highly subjective in nature, with varying diagnoses made by different analysts or by a singl...
WCE
2007
13 years 10 months ago
2007
— This paper presents an analytical model for calculating the deformation behavior of an elastic, composite strut comprising any number of materials, which are represented by an ...