3690 search results - page 570 / 738 » Computation with classical sequents |
ANSS
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper introduces TUTW – Temporal Uncertainty Time Warp – a control engine designed for an exploitation of temporal uncertainty (TU) in general optimistic simulations, and...
86
Voted
ICDM
2002
IEEE
15 years 3 months ago
2002
IEEE
Temporal data mining aims at finding patterns in historical data. Our work proposes an approach to extract temporal patterns from data to predict the occurrence of target events,...
ICPR
2002
IEEE
15 years 3 months ago
2002
IEEE
Detecting and recognizing face images automatically is a difficult task due to the variability of illumination, presentation angle, face expression and other common problems of m...
77
Voted
IWPC
2002
IEEE
15 years 3 months ago
2002
IEEE
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...
91
Voted
CHI
2010
ACM
15 years 3 months ago
2010
ACM
Photo tagging is a popular feature of many social network sites that allows users to annotate uploaded images with those who are in them, explicitly linking the photo to each pers...