6020 search results - page 336 / 1204 » A New Approach to Model Counting |
194
click to vote
EACL
2009
ACL Anthology
16 years 7 months ago
2009
ACL Anthology
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...
197
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
186
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents an interdisciplinary investigation of statistical information retrieval (IR) techniques for protein identification from tandem mass spectra, a challenging probl...
162
click to vote
ADC
2001
Springer
15 years 11 months ago
2001
Springer
The Sketch Data Model (SkDM) is a new semantic modelling paradigm based on category theory (specifically on categorical universal algebra), which has been used successfully in se...
199
click to vote
ICB
2007
Springer
15 years 8 months ago
2007
Springer
Gait recognition is an effective approach for human identification at a distance. During the last decade, the theory of hidden Markov models (HMMs) has been used successfully in th...