Sciweavers

1624 search results - page 152 / 325
» Modelling Variability for System Families
Sort
View
156
Voted
EMNLP
2011
14 years 3 months ago
Bootstrapping Semantic Parsers from Conversations
Conversations provide rich opportunities for interactive, continuous learning. When something goes wrong, a system can ask for clarification, rewording, or otherwise redirect the...
Yoav Artzi, Luke S. Zettlemoyer
142
Voted
AIML
2004
15 years 4 months ago
A Systematic Proof Theory for Several Modal Logics
The family of normal propositional modal logic systems are given a highly systematic organisation by their model theory. This model theory is generally given using Kripkean frame s...
Charles Stewart, Phiniki Stouppa
152
Voted
NN
2002
Springer
208views Neural Networks» more  NN 2002»
15 years 3 months ago
A spiking neuron model: applications and learning
This paper presents a biologically-inspired, hardware-realisable spiking neuron model, which we call the Temporal Noisy-Leaky Integrator (TNLI). The dynamic applications of the mo...
Chris Christodoulou, Guido Bugmann, Trevor G. Clar...
140
Voted
SIGADA
2004
Springer
15 years 8 months ago
Enforcing security and safety models with an information flow analysis tool
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
Roderick Chapman, Adrian Hilton
ADCM
2002
77views more  ADCM 2002»
15 years 3 months ago
Toric Surface Patches
We classify the homogeneous polynomials in three variables whose toric polar linear system defines a Cremona transformation. This classification includes, as a proper subset, the c...
Rimvydas Krasauskas