557 search results - page 68 / 112 » Automatic Abstraction for Verification of Timed Circuits and... |
KI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Our proposed software system, SceneMaker, aims to facilitate the production of plays, films or animations by automatically interpreting natural language film scripts an...
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— This paper introduces a novel four-order system, which can generate one-directional (1-D) n−torus, twodirectional (2-D) n × m −torus, three-directional (3-D) n × ...
MTA
2010
14 years 8 months ago
2010
Abstract In this paper we present an automatic photo tag expansion method designed for photo sharing websites. The purpose of the method is to suggest tags that are relevant to the...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
Abstract. Many parallel scienti c applications have dynamic and irregular computational structure. However, most such applications exhibit persistence of computational load and com...
DAC
2009
ACM
15 years 10 months ago
2009
ACM
State-of-the-art integral-equation-based solvers rely on techniques that can perform a matrix-vector multiplication in O(N) complexity. In this work, a fast inverse of linear comp...