1302 search results - page 146 / 261 » Soundness in the Public-Key Model |
155
click to vote
SARA
2007
Springer
16 years 16 days ago
2007
Springer
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are NPhard. To overcom...
170
click to vote
WSC
1997
15 years 7 months ago
1997
The World Wide Web (WWW) has experienced a dramatic increase in popularity since 1993. Many reports indicate that its growth will continue at an exponential rate. This growth has ...
201
click to vote
JUCS
2008
15 years 6 months ago
2008
: Software Product Lines (SPL) may be adopted by either bootstrapping existing software products into a SPL, or extending an existing SPL to encompass an additional software produc...
189
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— In this paper we present a new system for a mobile robot to generate an articulated scene model by analyzing complex dynamic 3D scenes. The system extracts essential knowledge ...
161
click to vote
TASLP
2010
15 years 4 months ago
2010
—The synthesis of sound based on physical models of 2-D percussion instruments is problematic and has been approached only infrequently in the literature. Beyond the computationa...