248 search results - page 7 / 50 » A Unifying Model of Variables and Names |
CDC
2009
IEEE
14 years 3 days ago
2009
IEEE
— The nullspace method is a powerful framework to solve the synthesis problem of fault detection filters in the most general setting. It is also well suited to address the least...
EMNLP
2008
13 years 8 months ago
2008
String-to-string transduction is a central problem in computational linguistics and natural language processing. It occurs in tasks as diverse as name transliteration, spelling co...
ALPIT
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper proposes a Unified Dynamic Relation Tree (DRT) span for tree kernel-based semantic relation extraction between entity names. The basic idea is to apply a variety of lin...
CSL
2004
Springer
14 years 24 days ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
JCNS
2002
13 years 7 months ago
2002
Recent physiological experiments have provided detailed descriptions of the properties of first-spike latency and variability in auditory cortex and nerve in response to pure tones...