9316 search results - page 303 / 1864 » Analysis of traceback techniques |
133
click to vote
COLING
2002
15 years 6 months ago
2002
Ambiguity is the fundamental property of natural language. Perhaps, the most burdensome case of ambiguity manifests itself on the syntactic level of analysis. In order to face up ...
152
click to vote
DT
2000
15 years 6 months ago
2000
Research on practical design verification techniques has long been impeded by the lack of published and yet detailed error data. Over the last few years we have systematically coll...
190
click to vote
MOC
1998
15 years 6 months ago
1998
This paper contains error estimates for covolume discretizations of Maxwell’s equations in three space dimensions. Several estimates are proved. First, an estimate for a semi-dis...
170
click to vote
SIGPLAN
2002
15 years 6 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
153
click to vote
SIAMNUM
2011
15 years 1 months ago
2011
We prove a posteriori error estimates for time discrete approximations, for semilinear parabolic equations with solutions that might blow-up in finite time. In particular we consi...