10910 search results - page 250 / 2182 » Input modeling using a computer algebra system |
158
click to vote
SGP
2004
15 years 8 months ago
2004
We present a method for parameterizing irregularly triangulated input models over polyhedral domains with quadrilateral faces. A combination of center-based clustering techniques ...
196
click to vote
MEMOCODE
2008
IEEE
15 years 12 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
200
click to vote
FM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
169
click to vote
EUROCRYPT
2007
Springer
15 years 9 months ago
2007
Springer
We show an efficient secure two-party protocol, based on Yao's construction, which provides security against malicious adversaries. Yao's original protocol is only secur...
146
click to vote
ACL
1998
15 years 7 months ago
1998
We describe the design and function of a robust processing component which is being developed for the Verbmobil speech translation system. Its task consists of collecting partial ...