5550 search results - page 682 / 1110 » Different Approaches to Proof Systems |
186
click to vote
JNW
2008
15 years 7 months ago
2008
Service personalization is an important goal for any smart environment. Comfort systems may be adjusted in an automatic way when a given user is present, and multimedia devices may...
199
click to vote
JUCS
2008
15 years 7 months ago
2008
: In this work we present a strategy for off-line signature verification. It takes into account a writer-independent model which reduces the pattern recognition problem to a 2-clas...
168
click to vote
JETAI
2006
15 years 7 months ago
2006
hin an abstract microworld of analogy problems. This approach differs from most other models of analogy in its insistence that concepts acquire their semantics from within the syst...
186
click to vote
AI
2004
Springer
15 years 7 months ago
2004
Springer
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...
197
click to vote
TWC
2008
15 years 7 months ago
2008
In this paper we introduce a novel linear precoding technique. The approach used for the design of the precoding matrix is general and the resulting algorithm can address several o...