107 search results - page 14 / 22 » Applicative Lifting |
CP
2010
Springer
14 years 9 months ago
2010
Springer
Generic SAT solvers have been very successful in solving hard combinatorial problems in various application areas, including AI planning. There is potential for improved performanc...
TVCG
2011
14 years 5 months ago
2011
—In this paper, we propose a method designed to allow creatures to actively respond to a fluid environment. We explore various objective functions in order to determine ways to ...
SIAMMAX
2010
14 years 5 months ago
2010
We propose a new approach to estimate the joint spectral radius and the joint spectral subradius of an arbitrary set of matrices. We first restrict our attention to matrices that ...
TSP
2010
14 years 5 months ago
2010
This paper is first in a series of papers studying a system-theoretic approach to the problem of reconstructing an analog signal from its samples. The idea, borrowed from earlier t...
147
click to vote
COMSUR
2011
13 years 10 months ago
2011
Abstract—The computational and memory resources of wireless sensor nodes are typically very limited, as the employed low-energy microcontrollers provide only hardware support for...