6693 search results - page 420 / 1339 » Methods of Automatic Algorithm Generation |
160
click to vote
TAMODIA
2007
15 years 8 months ago
2007
This paper discusses and illustrates work in progress on the MEMO workbench for early model-based usability evaluation of interface designs. Characteristic features of the workbenc...
164
click to vote
ENTCS
2010
15 years 7 months ago
2010
This paper gives an overview of two methods for automatically or semi-automatically generating deduction calculi from the semantic specification of a logic. One approach is based ...
205
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
Traditional methods of assessing chemical toxicity of various compounds require tests on animals, which raises ethical concerns and is expensive. Current legislation may lead to a...
176
click to vote
VMCAI
2004
Springer
16 years 6 days ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
165
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
Smoothly bent paper-like surfaces are developable. They are however difficult to minimally parameterize since the number of meaningful parameters is intrinsically dependent on the...