4609 search results - page 820 / 922 » Automatic Generation of Sigma-Protocols |
148
click to vote
ISF
2007
15 years 5 months ago
2007
Abstract Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an ...
156
click to vote
TITB
2008
15 years 5 months ago
2008
Abstract--Manual quantitative analysis of cardiac left ventricular function using Multislice CT and MR is arduous because of the large data volume. In this paper, we present a 3-D ...
185
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: The continuous flow of EST data remains one of the richest sources for discoveries in modern biology. The first step in EST data mining is usually associated with EST ...
170
click to vote
JCP
2007
15 years 5 months ago
2007
—One of the challenging problems in geometric modeling and computer graphics is the construction of realistic human facial geometry. Such geometry are essential for a wide range ...
172
click to vote
TOPNOC
2008
15 years 5 months ago
2008
The key to efficient on-the-fly reachability analysis based on unfolding is to focus the expansion of the finite prefix towards the desired marking. However, current unfolding stra...