272 search results - page 10 / 55 » context 1999 |
TABLEAUX
1999
Springer
14 years 2 months ago
1999
Springer
Appeared in: N.V. Murray, editor, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’99), Lecture Notes in Artificial Intelligence 1617, Springer, pages 2...
NPIV
1999
ACM
14 years 2 months ago
1999
ACM
Virtual environment (VE) technologies have considerable potential to extend the power of information visualization methods, and those of scientific visualization more broadly. Our...
CN
1999
13 years 9 months ago
1999
Automatic metadata generation may provide a solution to the problem of inconsistent, unreliable metadata describing resources on the Web. The Resource Description Framework (RDF [...
SPIN
1999
Springer
14 years 2 months ago
1999
Springer
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his colleagues in [4, 3]...
TSD
1999
Springer
14 years 2 months ago
1999
Springer
Slavic languages are characteristic by their relatively high degree of word order freedom. In the process of automatic generation from an underlying representation of the content, ...