3690 search results - page 549 / 738 » Computation with classical sequents |
134
click to vote
WACV
2007
IEEE
15 years 11 months ago
2007
IEEE
We describe the design and implementation of a vision based Intermodal Train Monitoring System(ITMS) for extracting various features like length of gaps in an intermodal(IM) train...
157
click to vote
WACV
2007
IEEE
15 years 11 months ago
2007
IEEE
Shoreline detection plays an important role in vision based navigation for autonomous surface vehicles (ASVs). It is a challenging task because of the diversity in near-bank scena...
161
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
We present an efficient protocol for privacy-preserving evaluation of diagnostic programs, represented as binary decision trees or branching programs. The protocol applies a bran...
125
click to vote
CIS
2007
Springer
15 years 11 months ago
2007
Springer
—Real-world data mining deals with noisy information sources where data collection inaccuracy, device limitations, data transmission and discretization errors, or man-made pertur...
139
click to vote
COCO
2007
Springer
15 years 11 months ago
2007
Springer
We make progress in understanding the complexity of the graph reachability problem in the context of unambiguous logarithmic space computation; a restricted form of nondeterminism....