689 search results - page 27 / 138 » The multithreaded version of FORM |
DLT
2010
13 years 9 months ago
2010
Abstract. It is shown that for graph groups (right-angled Artin groups) the conjugacy problem as well as a restricted version of the simultaneous conjugacy problem can be solved in...
OWLED
2008
13 years 9 months ago
2008
OWL ontologies are complex computational artifacts that are intimately connected with conceptual information and with application issues that are not easily explicable in the conte...
JSYML
2008
13 years 7 months ago
2008
I investigate versions of the Maximality Principles for the classes of forcings which are <-closed, <-directed-closed, or of the form Col(, < ). These principles come in ...
COLT
1992
Springer
13 years 12 months ago
1992
Springer
Language learning from positive data in the Gold model of inductive inference is investigated in a setting where the data can be modeled as a stochastic process. Specifically, the...
PODS
2000
ACM
14 years 4 days ago
2000
ACM
An estimation algorithm for a query is a probabilistic algorithm that computes an approximation for the size (number of tuples) of the query. One class of estimation algorithms us...