662 search results - page 84 / 133 » Trees, Automata and XML |
153
click to vote
FORTE
2004
15 years 7 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
173
click to vote
IDEAS
2005
IEEE
15 years 11 months ago
2005
IEEE
— XPath is a common language for selecting nodes in an XML document. XPath uses so called path expressions which describe a navigation path through semistructured data. In the la...
146
click to vote
NORDICHI
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents the results of a software usability study, involving both subjective and objective evaluation. It compares a popular XML data transformation language (XSLT) an...
165
Voted
GECCO
2007
Springer
16 years 6 days ago
2007
Springer
We propose that the behaviour of non-linear media can be controlled automatically through coevolutionary systems. By extension, forms of unconventional computing, i.e., massively ...
194
click to vote
IANDC
2008
15 years 6 months ago
2008
In the area of Description Logic (DL), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problem...