1581 search results - page 152 / 317 » Domain semantics of possibility computations |
148
Voted
KR
2000
Springer
15 years 7 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
106
Voted
SDM
2009
SIAM
16 years 28 days ago
2009
SIAM
We introduce the problem of grammar mining, where patterns are context-free grammars, as a generalization of a large number of common pattern mining tasks, such as tree, sequence ...
118
click to vote
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, stochastic error-correcting parsing is proposed as a powerful and flexible method to post-process the results of an optical character recognizer (OCR). Determinist...
133
Voted
ICAT
2007
IEEE
15 years 10 months ago
2007
IEEE
Even though gaze control is relatively well known as a human computer interaction method, gaze control is not a widely used technique, partly due to several usability issues. Howe...
139
Voted
ENTCS
2006
15 years 3 months ago
2006
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...