2806 search results - page 308 / 562 » BML and Related Tools |
203
click to vote
DKE
2007
15 years 6 months ago
2007
XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The considered XPath f...
165
click to vote
EOR
2007
15 years 6 months ago
2007
With the increasing emphasis on supply chain vulnerabilities, effective mathematical tools for analyzing and understanding appropriate supply chain risk management are now attrac...
190
click to vote
FSS
2007
15 years 6 months ago
2007
Formal concept analysis and rough set theory are two important tools in knowledge representation and knowledge discovery in relational information systems. The purpose of this pap...
182
click to vote
FTEDA
2007
15 years 6 months ago
2007
The number of gates on a chip is quickly growing toward and beyond the one billion mark. Keeping all the gates running at the beat of a single or a few rationally related clocks i...
184
click to vote
FUIN
2007
15 years 6 months ago
2007
We define Concurrent Turing Machines (CTMs) as Turing machines with Petri nets as finite control. This leads to machines with arbitrary many tape heads, thus subsuming any class ...