478 search results - page 47 / 96 » Some Existence and Preservation Results for Optimal Fixpoint... |
ICCS
2009
Springer
14 years 5 months ago
2009
Springer
The development of high performance dense linear algebra (DLA) critically depends on highly optimized BLAS, and especially on the matrix multiplication routine (GEMM). This is espe...
JAIR
2010
13 years 9 months ago
2010
Decentralized planning in uncertain environments is a complex task generally dealt with by using a decision-theoretic approach, mainly through the framework of Decentralized Parti...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
In order to improve the robustness and imperceptibleness of the image spread spectrum watermark algorithm, a new approach for optimization in 8×8 DCT domain using genetic algorit...
CAV
2010
Springer
14 years 2 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
IPM
2007
13 years 10 months ago
2007
Patent documents contain important research results. However, they are lengthy and rich in technical terminology such that it takes a lot of human efforts for analyses. Automatic...