Sciweavers

1128 search results - page 206 / 226
» Classical Natural Deduction
Sort
View
69
Voted
ECAI
2004
Springer
15 years 3 months ago
Vision-Language Integration in AI: A Reality Check
Abstract. Multimodal human to human interaction requires integration of the contents/meaning of the modalities involved. Artificial Intelligence (AI) multimodal prototypes attempt...
Katerina Pastra, Yorick Wilks
EMSOFT
2004
Springer
15 years 3 months ago
Towards a higher-order synchronous data-flow language
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
Jean-Louis Colaço, Alain Girault, Gré...
GECCO
2004
Springer
110views Optimization» more  GECCO 2004»
15 years 3 months ago
Is the Predicted ESS in the Sequential Assessment Game Evolvable?
The Sequential Assessment Game model of animal contests predicts an evolutionarily stable strategy (ESS) that is a sequence of thresholds for giving up. Simulated evolution experim...
Winfried Just, Xiaolu Sun
PKDD
2004
Springer
205views Data Mining» more  PKDD 2004»
15 years 3 months ago
Breaking Through the Syntax Barrier: Searching with Entities and Relations
The next wave in search technology will be driven by the identification, extraction, and exploitation of real-world entities represented in unstructured textual sources. Search sy...
Soumen Chakrabarti
SEMWEB
2004
Springer
15 years 3 months ago
Structure-Based Partitioning of Large Concept Hierarchies
Abstract. The increasing awareness of the benefits of ontologies for information processing has lead to the creation of a number of large ontologies about real world domains. The ...
Heiner Stuckenschmidt, Michel C. A. Klein