4609 search results - page 132 / 922 » Automatic Generation of Sigma-Protocols |
142
click to vote
ATS
2009
IEEE
16 years 1 months ago
2009
IEEE
High performance designs often use the on-chip device PLLs for accurate test clock generation during testing. The on-chip clock generator is designed in a programmable way to faci...
183
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
188
click to vote
MMM
2011
Springer
14 years 9 months ago
2011
Springer
In this paper we present a user-centric summarisation system that combines automatic visual-content analysis with user-interface design features as a practical method for home movi...
177
click to vote
DEBU
2002
15 years 6 months ago
2002
State-of-the-art Web search engines are inherently limited in their abilities to search information in Deep Web beyond portals. This paper discusses how Web services and Semantic-...
173
click to vote
ISVC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Several existing procedural modeling systems are able to generate large 3D models of cities. However, none of these systems can automatically create 3D models of freeways...