Sciweavers

2308 search results - page 203 / 462
» Representing Symbolic Reasoning
Sort
View
IJCAI
1989
15 years 7 months ago
Constrained Heuristic Search
Cognitive architectures aspire for generality both in terms of problem solving and learning across a range of problems, yet to date few examples of domain independent learning has...
Mark S. Fox, Norman M. Sadeh, Can A. Baykan
EUROGP
2010
Springer
160views Optimization» more  EUROGP 2010»
15 years 7 months ago
Improving the Generalisation Ability of Genetic Programming with Semantic Similarity based Crossover
This paper examines the impact of semantic control on the ability of Genetic Programming (GP) to generalise via a semantic based crossover operator (Semantic Similarity based Cross...
Nguyen Quang Uy, Nguyen Thi Hien, Nguyen Xuan Hoai...
CCS
2010
ACM
15 years 6 months ago
Accountability: definition and relationship to verifiability
Many cryptographic tasks and protocols, such as non-repudiation, contract-signing, voting, auction, identity-based encryption, and certain forms of secure multi-party computation,...
Ralf Küsters, Tomasz Truderung, Andreas Vogt
EXPERT
2008
78views more  EXPERT 2008»
15 years 6 months ago
Odor Recognition for Intelligent Systems
An electronic nose (e-nose) is an intelligent sensing device that uses an array of gas sensors of partial and overlapping selectivity along with a pattern recognition component to...
Amy Loutfi, Silvia Coradeschi
STTT
2008
90views more  STTT 2008»
15 years 6 months ago
A uniform framework for weighted decision diagrams and its implementation
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
Jörn Ossowski, Christel Baier