6608 search results - page 974 / 1322 » On the Completeness of Model Checking |
158
click to vote
LREC
2008
15 years 8 months ago
2008
In this paper we report on the analyses of alternative approaches to semantic role annotation (FrameNet (FrameNet, 2005), PropBank (Palmer et al., 2005) and VerbNet (Kipper, 2006)...
185
click to vote
AAAI
2006
15 years 8 months ago
2006
We present a new propagator achieving bound consistency for the INTER-DISTANCE constraint. This constraint ensures that, among a set of variables X1, . . . , Xn, the difference be...
212
click to vote
CLIMA
2006
15 years 8 months ago
2006
If we are to take the notion of speech act seriously, we must be able to treat speech acts as acts. In what follows, I will try to model changes brought about by various acts of co...
167
click to vote
DLOG
2006
15 years 8 months ago
2006
A variety of fuzzy description logics are proposed to extend classical description logics with fuzzy capability. However, reasoning with general TBoxes is still an open problem in...
237
click to vote
EMNLP
2006
15 years 8 months ago
2006
Integer Linear Programming has recently been used for decoding in a number of probabilistic models in order to enforce global constraints. However, in certain applications, such a...