2576 search results - page 404 / 516 » The Complexity of Zero Knowledge |
136
Voted
ENTCS
2007
15 years 5 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
138
click to vote
ENVSOFT
2007
15 years 5 months ago
2007
Abstract: This paper introduces a novel data-driven methodology named Evolutionary Polynomial Regression (EPR), which permits the multi-purpose modelling of physical phenomena, thr...
121
Voted
MTA
2006
15 years 4 months ago
2006
Variable bit rate (VBR) compression for media streams allocates more bits to complex scenes and fewer bits to simple scenes. This results in a higher and more uniform visual and au...
145
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
137
click to vote
AICOM
2005
15 years 4 months ago
2005
SIADEX is a complex framework that integrates several AI techniques able to design fighting plans against forest fires. It is based on four main components, a web server, that cent...