4609 search results - page 174 / 922 » Automatic Generation of Sigma-Protocols |
180
click to vote
ICMCS
2007
IEEE
16 years 23 days ago
2007
IEEE
To bridge the gap between the high resolution digital images and limited display capability of mobile devices, this paper proposes a method to automatically transform static image...
164
click to vote
ICMCS
2006
IEEE
16 years 14 days ago
2006
IEEE
Feature sets are broadly discussed within speech emotion recognition by acoustic analysis. While popular filter and wrapper based search help to retrieve relevant ones, we feel th...
156
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
173
click to vote
KBSE
2005
IEEE
16 years 20 hour ago
2005
IEEE
We describe an architecture modeling and code generation framework called Bamboo. Using Bamboo, engineers design SCM repository and feature models, and then generate a running SCM...
164
click to vote
ASPDAC
2004
ACM
15 years 12 months ago
2004
ACM
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...