Sciweavers

1532 search results - page 201 / 307
» The Symbol Grounding Problem
Sort
View
TACAS
2005
Springer
129views Algorithms» more  TACAS 2005»
15 years 9 months ago
A New Algorithm for Strategy Synthesis in LTL Games
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
SAC
2003
ACM
15 years 9 months ago
Multiclass Text Categorization for Automated Survey Coding
Survey coding is the task of assigning a symbolic code from a predefined set of such codes to the answer given in response to an open-ended question in a questionnaire (aka surve...
Daniela Giorgetti, Fabrizio Sebastiani
ICALP
1997
Springer
15 years 8 months ago
Discrete-Time Control for Rectangular Hybrid Automata
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
Thomas A. Henzinger, Peter W. Kopke
JETAI
2006
66views more  JETAI 2006»
15 years 4 months ago
A self-watching model of analogy-making and perception
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...
James B. Marshall
TEC
2008
104views more  TEC 2008»
15 years 4 months ago
Coevolution of Fitness Predictors
Abstract--We present an algorithm that coevolves fitness predictors, optimized for the solution population, which reduce fitness evaluation cost and frequency, while maintaining ev...
Michael D. Schmidt, Hod Lipson