4895 search results - page 294 / 979 » Tools for Grammar Engineering |
145
click to vote
TLCA
2005
Springer
16 years 3 days ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
146
click to vote
IUI
2004
ACM
16 years 1 days ago
2004
ACM
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...
158
click to vote
SEFM
2003
IEEE
15 years 12 months ago
2003
IEEE
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
172
Voted
AC
2003
Springer
15 years 12 months ago
2003
Springer
Concentration inequalities deal with deviations of functions of independent random variables from their expectation. In the last decade new tools have been introduced making it pos...
145
click to vote
SG
2010
Springer
15 years 11 months ago
2010
Springer
In this paper we present a method for detecting rounds and fillets in engineering sketches and drawings, and automatically generating a 3D model of the corresponding object, with r...