Sciweavers

1578 search results - page 160 / 316
» Induction of Stable Models
Sort
View
ACL
2006
13 years 11 months ago
Exploiting Non-Local Features for Spoken Language Understanding
In this paper, we exploit non-local features as an estimate of long-distance dependencies to improve performance on the statistical spoken language understanding (SLU) problem. Th...
Minwoo Jeong, Gary Geunbae Lee
FUIN
2008
142views more  FUIN 2008»
13 years 10 months ago
Relational Transformation-based Tagging for Activity Recognition
Abstract. The ability to recognize human activities from sensory information is essential for developing the next generation of smart devices. Many human activity recognition tasks...
Niels Landwehr, Bernd Gutmann, Ingo Thon, Luc De R...
JLP
2006
99views more  JLP 2006»
13 years 10 months ago
An institution of modal logics for coalgebras
This paper presents a modular framework for the specification of certain inductivelydefined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the catego...
Corina Cîrstea
ENTCS
2007
112views more  ENTCS 2007»
13 years 10 months ago
Structure and Properties of Traces for Functional Programs
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...
Olaf Chitil, Yong Luo
IANDC
2007
81views more  IANDC 2007»
13 years 10 months ago
Some natural conditions on incremental learning
The present study aims at insights into the nature of incremental learning in the context of Gold’s model of identification in the limit. With a focus on natural requirements s...
Sanjay Jain, Steffen Lange, Sandra Zilles