3113 search results - page 170 / 623 » Numerical Methods |
161
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
hedron Abstract Domain Robert Claris´o and Jordi Cortadella Universitat Polit`ecnica de Catalunya Barcelona, Spain Abstract. An interesting area in static analysis is the study of...
183
click to vote
KRDB
2003
15 years 7 months ago
2003
Given the numerous knowledge representation models (KR-schemes) that have been proposed, it would be desirable to have a formal, unifying model for the description of a KR-scheme,...
168
click to vote
AAAI
1993
15 years 7 months ago
1993
Understanding flow in the three-dimensional phase space is challenging both to human experts and to current computer science technology. To break through the barrier, we are build...
136
click to vote
MCS
2008
Springer
15 years 6 months ago
2008
Springer
Validated continuation was introduced in [4] as means of checking that the classical continuation method applied to a Galerkin projection of a PDE provides a locally unique equili...
133
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
This paper proposes an experimental evaluation of various discretization schemes in three different evolutionary systems for inductive concept learning. The various discretization...