789 search results - page 104 / 158 » Solving Complex Problems Efficiently with Adaptive Automata |
115
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
RAS
2002
15 years 1 months ago
2002
In this paper we want to propose the idea that some techniques used for animal training might be helpful for solving human robot interaction problems in the context of entertainme...
118
click to vote
ICCAD
2010
IEEE
14 years 12 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
134
click to vote
JMLR
2010
14 years 8 months ago
2010
We present an extension of sparse PCA, or sparse dictionary learning, where the sparsity patterns of all dictionary elements are structured and constrained to belong to a prespeci...
125
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract--Knowledge is attributed to human whose problemsolving behavior is subjective and complex. In today's knowledge economy, the need to manage knowledge produced by a co...