5752 search results - page 161 / 1151 » Informative Labeling Schemes |
112
click to vote
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...
113
click to vote
LREC
2008
15 years 4 months ago
2008
The work described in this paper aims to enrich the noun classifications of an existing database of lexical resources (de Matos and Ribeiro, 2004) adding missing information such ...
134
click to vote
LOGCOM
2010
15 years 1 months ago
2010
Public announcement logic extends multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. In thi...
130
Voted
ACL
2012
13 years 5 months ago
2012
We present a novel approach to the task of word lemmatisation. We formalise lemmatisation as a category tagging task, by describing how a word-to-lemma transformation rule can be ...
122
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
For effective training of acoustic and language models for spontaneous speech such as meetings, it is significant to exploit the texts available in a large scale, which may not b...