5864 search results - page 279 / 1173 » Can We Work around Numerical Methods |
195
click to vote
AIPS
2010
15 years 7 months ago
2010
Over the last few years there has been a revival of interest in the idea of least-commitment planning with a number of researchers returning to the partial-order planning approach...
191
click to vote
JCP
2006
15 years 7 months ago
2006
Numerous data mining problems involve an investigation of associations between features in heterogeneous datasets, where different prediction models can be more suitable for differ...
209
click to vote
TII
2010
15 years 1 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
212
click to vote
JAVA
2001
Springer
15 years 11 months ago
2001
Springer
The computational science community is reluctant to write largescale computationally-intensive applications in Java due to concerns over Java’s poor performance, despite the cla...
156
click to vote
ISSAC
1994
Springer
15 years 11 months ago
1994
Springer
An example of a problem in the physical sciences is discussed where application of various symbolic computation facilities available in many algebraic computing systems leads to a...