Sciweavers

16430 search results - page 2937 / 3286
» On Computable Tree Functions
Sort
View
196
Voted
EACL
1993
ACL Anthology
15 years 8 months ago
A Tradeoff between Compositionality and Complexity in the Semantics of Dimensional Adjectives
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...
Geoffrey Simmons
IJCAI
1993
15 years 8 months ago
Automated Trend Detection with Alternate Temporal Hypotheses
We have written a prototype computer program called TrenDx for automated trend detection during process monitoring. The program uses a representation called trend templates that d...
Ira J. Haimowitz, Isaac S. Kohane
MVA
1996
100views Computer Vision» more  MVA 1996»
15 years 8 months ago
A Support System for the Visually Disabled to Recognize 3D Objects
We have been developing a support system for the visually disabled t,o actively recognize threedimensional objects or environments, an application system of 3D computer vision. Th...
Yoshihiro Kawai, Fumiaki Tomita
258
Voted
DBWORKSHOPS
1992
15 years 8 months ago
An Incremental Concept Formation Approach for Learning from Databases
Godin, R. and R. Missaoui, An incremental concept formation approach for learning from databases, Theoretical Computer Science 133 (1994) 3533385. This paper describes a concept f...
Rokia Missaoui, Robert Godin
LFP
1990
171views more  LFP 1990»
15 years 8 months ago
Operational and Axiomatic Semantics of PCF
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
Brian T. Howard, John C. Mitchell
« Prev « First page 2937 / 3286 Last » Next »