Sciweavers

4128 search results - page 740 / 826
» Learning and using relational theories
Sort
View
EACL
2009
ACL Anthology
15 years 10 months ago
Re-Ranking Models for Spoken Language Understanding
Spoken Language Understanding aims at mapping a natural language spoken sentence into a semantic representation. In the last decade two main approaches have been pursued: generati...
Marco Dinarelli, Alessandro Moschitti, Giuseppe Ri...
CADE
2001
Springer
15 years 10 months ago
Context Trees
Context trees are a popular and effective tool for tasks such as compression, sequential prediction, and language modeling. We present an algebraic perspective of context trees for...
Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela
ESSOS
2009
Springer
15 years 4 months ago
Protection Poker: Structuring Software Security Risk Assessment and Knowledge Transfer
Discovery of security vulnerabilities is on the rise. As a result, software development teams must place a higher priority on preventing the injection of vulnerabilities in softwar...
Laurie Williams, Michael Gegick, Andrew Meneely
PKDD
2009
Springer
103views Data Mining» more  PKDD 2009»
15 years 4 months ago
Kernels for Periodic Time Series Arising in Astronomy
Abstract. We present a method for applying machine learning algorithms to the automatic classification of astronomy star surveys using time series of star brightness. Currently su...
Gabriel Wachman, Roni Khardon, Pavlos Protopapas, ...
DATE
2008
IEEE
122views Hardware» more  DATE 2008»
15 years 4 months ago
Simulation-Directed Invariant Mining for Software Verification
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
Xueqi Cheng, Michael S. Hsiao