4609 search results - page 729 / 922 » Automatic Generation of Sigma-Protocols |
160
click to vote
SMI
2007
IEEE
16 years 23 days ago
2007
IEEE
We present two complementary methods for automatically improving mesh parameterizations and demonstrate that they provide a very desirable combination of efficiency and quality. ...
153
click to vote
VL
2007
IEEE
16 years 23 days ago
2007
IEEE
In previous work we have developed a system that automatically checks for unit errors in spreadsheets. In this paper we describe our experiences using the system in a workshop on ...
196
click to vote
WISE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...
190
click to vote
ACAL
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper illustrates how the Quadratic Assignment Problem (QAP) is used as a mathematical model that helps to produce a visualization of microarray data, based on the r...
166
click to vote
AUSDM
2007
Springer
16 years 21 days ago
2007
Springer
Data streams are usually generated in an online fashion characterized by huge volume, rapid unpredictable rates, and fast changing data characteristics. It has been hence recogniz...