686 search results - page 51 / 138 » The use of XML to express a historical knowledge base |
CISIS
2008
IEEE
13 years 8 months ago
2008
IEEE
We present a web system architecture using ontologies to improve the behavior of the system from the performance viewpoint. Since web system performance indexes depend on state an...
AAAI
2004
13 years 9 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
ICDAR
2003
IEEE
14 years 28 days ago
2003
IEEE
Structure analysis of table form document is important because printed documents and also electronical documents only provide geometrical layout and lexical information explicitly...
CSFW
2008
IEEE
14 years 2 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
ICDE
2008
IEEE
15 years 7 months ago
2008
IEEE
The Web has the potential to become the world’s
largest knowledge base. In order to unleash this potential,
the wealth of information available on the Web needs to be
extracte...