4609 search results - page 294 / 922 » Automatic Generation of Sigma-Protocols |
202
click to vote
EHCI
1998
15 years 8 months ago
1998
: Task models bridge the gap between HCI and Software Engineering. They are useful both for interface design and for generating user interface code and user documentation. These be...
227
click to vote
BMEI
2009
IEEE
15 years 7 months ago
2009
IEEE
Cell enumeration in peripheral blood smears and cell are widely applied in biological and pathological practice. Not every area in the smear is appropriate for enumeration due to ...
170
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
133
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a new functionality of the Automatic Differentiation (AD) Tool tapenade. tapenade generates adjoint codes which are widely used for optimization or inverse prob...
210
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Information integration applications, such as mediators or mashups, that require access to information resources currently rely on users manually discovering and integrating them ...