29908 search results - page 544 / 5982 » On the Complexity of |
213
click to vote
MFCS
2005
Springer
16 years 21 days ago
2005
Springer
This paper investigates the word problem for inverse monoids generated by a set Γ subject to relations of the form e = f, where e and f are both idempotents in the free inverse m...
177
click to vote
OOPSLA
2005
Springer
16 years 20 days ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
191
click to vote
OTM
2005
Springer
16 years 20 days ago
2005
Springer
There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual mode...
183
click to vote
RSFDGRC
2005
Springer
16 years 20 days ago
2005
Springer
Pawlak recently introduced rough set flow graphs (RSFGs) as a graphical framework for reasoning from data. Each rule is associated with three coefficients, which have been shown t...
178
click to vote
SEMWEB
2005
Springer
16 years 20 days ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...