5244 search results - page 331 / 1049 » Structural Complexity of AvgBPP |
187
click to vote
CP
2007
Springer
16 years 28 days ago
2007
Springer
Searching for optimal solutions to a problem using lower bounds obtained from a relaxation is a common idea in Heuristic Search and Planning. In SAT and CSPs, however, explicit rel...
171
click to vote
KBSE
2005
IEEE
16 years 10 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
217
click to vote
ICWE
2004
Springer
16 years 4 days ago
2004
Springer
The UWE methodology provides a systematic, UML-based approach for the development of Web applications. The CASE tool ArgoUWE supports the design phase of the UWE development proces...
205
click to vote
DCC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper contains two contributions to very-low-bitrate video coding. First, we show that in contrast to common practice incremental techniques for rate-distortion optimization ...
162
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
— As silicon CMOS devices are scaled down into the nanoscale regime, new challenges at both the device and system level are arising. While some of these challenges will be overco...