2150 search results - page 201 / 430 » On a restricted cross-intersection problem |
142
click to vote
CSUR
1999
15 years 3 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
121
click to vote
PR
2002
15 years 3 months ago
2002
The authors of this paper adopted the projected characteristics of the absolute conic in terms of the Pascal's theorem to propose an entirely new camera calibration method ba...
136
click to vote
TCS
1998
15 years 3 months ago
1998
We provide a global technique, called neatening, for the study of modularity of left-linear Term Rewriting Systems. Objects called bubbles are identi ed as the responsibles of mos...
129
click to vote
TASLP
2002
15 years 3 months ago
2002
Abstract--In this paper, we report on the performance of automatic speech recognition (ASR) systems on voicemail transcription. Voicemail is spontaneous telephone speech recorded o...
143
click to vote
MP
2007
15 years 3 months ago
2007
We present a probabilistic analysis of integer linear programs (ILPs). More specifically, we study ILPs in a so-called smoothed analysis in which it is assumed that first an adve...