2082 search results - page 220 / 417 » Change Paths in Reasoning! |
164
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
128
click to vote
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
Environment matting is a generalization of traditional bluescreen matting. By photographing an object in front of a sequence of structured light backdrops, a set of approximate li...
166
click to vote
CONCUR
1997
Springer
15 years 8 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
130
click to vote
DAS
2010
Springer
15 years 8 months ago
2010
Springer
Most of the Indian scripts do not have any robust commercial OCRs. Many of the laboratory prototypes report reasonable results at recognition/classification stage. However, word ...
148
click to vote
CONEXT
2007
ACM
15 years 8 months ago
2007
ACM
Internet interdomain routing is policy-driven, and thus physical connectivity does not imply reachability. On average, routing on today's Internet works quite well, ensuring ...