11 search results - page 2 / 3 » cl 2011 |
87
Voted
MCS
2011
Springer
14 years 4 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...
92
Voted
CORR
2011
Springer
14 years 1 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...
90
Voted
AI
2011
Springer
14 years 4 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 ...
105
click to vote
CORR
2011
Springer
14 years 1 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...
111
click to vote
ASPLOS
2011
ACM
14 years 1 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...