4609 search results - page 755 / 922 » Automatic Generation of Sigma-Protocols |
141
click to vote
IWMM
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler automatically translates it into an equivalent outp...
202
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
The demand for ontologies is rapidly growing especially due to developments in knowledge management, E-commerce and the Semantic Web. Building an ontology and a background knowled...
173
click to vote
LOPSTR
2004
Springer
15 years 11 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
171
click to vote
MCS
2004
Springer
15 years 11 months ago
2004
Springer
The ECOC framework provides a powerful and popular method for solving multiclass problems using a multitude of binary classifiers. We had recently introduced the Binary Hierarchica...
161
click to vote
MPC
2004
Springer
15 years 11 months ago
2004
Springer
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...