11 search results - page 2 / 3 » cl 2011 |
MCS
2011
Springer
12 years 12 months ago
2011
Springer
Consider a matrix valued function A(x) ∈ Rm×n , m ≥ n, smoothly depending on parameters x ∈ Ω ⊂ R2 , where Ω is simply connected and bounded. We consider a technique t...
CORR
2011
Springer
12 years 8 months ago
2011
Springer
Efficient implementations of DPLL with the addition of clause learning are the fastest complete Boolean satisfiability solvers and can handle many significant real-world problem...
AI
2011
Springer
12 years 12 months ago
2011
Springer
The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents’ choices. An example ...
CORR
2011
Springer
12 years 8 months ago
2011
Springer
—Nowadays, several industrial applications are being ported to parallel architectures. These applications take advantage of the potential parallelism provided by multiple core pr...
ASPLOS
2011
ACM
12 years 8 months ago
2011
ACM
Graphics processing units (GPUs) provide a low cost platform for accelerating high performance computations. The introduction of new programming languages, such as CUDA and OpenCL...