Sciweavers

2588 search results - page 315 / 518
» Swarm Intelligence: From Natural to Artificial Systems
Sort
View
GECCO
2005
Springer
141views Optimization» more  GECCO 2005»
16 years 2 days ago
Behavior of finite population variable length genetic algorithms under random selection
In this work we provide empirical evidence that shows how a variable-length genetic algorithm (GA) can naturally evolve shorter average size populations. This reduction in chromos...
Hal Stringer, Annie S. Wu
ITS
2004
Springer
124views Multimedia» more  ITS 2004»
15 years 12 months ago
A Multi-dimensional Taxonomy for Automating Hinting
Abstract. Hints are an important ingredient of natural language tutorial dialogues. Existing models of hints, however, are limited in capturing their various underlying functions, ...
Dimitra Tsovaltzi, Armin Fiedler, Helmut Horacek
JSAI
2005
Springer
16 years 1 days ago
Support for Content Creation Using Conversation Quanta
Abstract. In this study, we present a computational approach to support content creation by recording and reusing the conversational contents as reusable nuggets. We introduce the ...
Ken Saito, Hidekazu Kubota, Yasuyuki Sumi, Toyoaki...
TABLEAUX
2009
Springer
15 years 11 months ago
Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
Luis Pinto, Tarmo Uustalu
CLEF
2006
Springer
15 years 10 months ago
Paraphrase Substitution for Recognizing Textual Entailment
We describe a method for recognizing textual entailment that uses the length of the longest common subsequence (LCS) between two texts as its decision criterion. Rather than requi...
Wauter Bosma, Chris Callison-Burch