Sciweavers

6618 search results - page 1032 / 1324
» Natural Logic for Natural Language
Sort
View
TCS
2008
15 years 6 months ago
Modeling spiking neural networks
A notation for the functional specification of a wide range of neural networks consisting of temporal or non-temporal neurons, is proposed. The notation is primarily a mathematica...
Ioannis D. Zaharakis, Achilles D. Kameas
JSYML
2007
80views more  JSYML 2007»
15 years 6 months ago
Theories very close to PA where Kreisel's Conjecture is false
We give four examples of theories in which Kreisel’s Conjecture is false: (1) the theory PA(-) obtained by adding a function symbol minus, ‘−’, to the language of PA, and t...
Pavel Hrubes
AI
2002
Springer
15 years 6 months ago
QUANTUM: A Function-Based Question Answering System
Abstract In this paper, we describe our Question Answering (QA) system called QUANTUM. The goal of QUANTUM is to find the answer to a natural language question in a large document ...
Luc Plamondon, Leila Kosseim
BMCBI
2004
121views more  BMCBI 2004»
15 years 6 months ago
Asynchronous adaptive time step in quantitative cellular automata modeling
Background: The behaviors of cells in metazoans are context dependent, thus large-scale multicellular modeling is often necessary, for which cellular automata are natural candidat...
Hao Zhu, Peter Y. H. Pang, Yan Sun, Pawan Dhar
AAI
2000
122views more  AAI 2000»
15 years 6 months ago
High-Level Interpretation in Virtual Environments
: As Virtual Environments applications become more complex, there is a need to interpret user interaction in terms of high-level concepts. In this paper, we investigate the relatio...
Marc Cavazza, Ian Palmer
« Prev « First page 1032 / 1324 Last » Next »