537 search results - page 25 / 108 » tools 1999 |
FPL
1999
Springer
15 years 2 months ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
HT
1999
ACM
15 years 2 months ago
1999
ACM
We propose a structure analysis and proof framework for hypertext with conditional linkage. This framework can provide hypertext systems with a powerful and simple tool to help th...
MM
1999
ACM
15 years 2 months ago
1999
ACM
Despite recent advances in authoring systems and tools, creating multimedia presentations remains a labor-intensive process. This paper describes a system for automatically constr...
ESSLLI
1999
Springer
15 years 2 months ago
1999
Springer
This paper argues that exhaustification is empirically and theoretically important as a tool in the semantic description of various constructions in natural language. Discussion f...
CAD
1999
Springer
14 years 9 months ago
1999
Springer
The method of consecutive revolving or extrusion of a geometric entity in a CAD system is typically used by a designer to represent complex solids. While it is evident that consec...