5244 search results - page 403 / 1049 » Structural Complexity of AvgBPP |
200
Voted
DLOG
2010
15 years 4 months ago
2010
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
209
Voted
PAAMS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Smart environments include context-aware computing to enhance system capabilities which affect user interaction positively. A context-aware application should collect con...
235
click to vote
EXACT
2009
15 years 4 months ago
2009
Across many fields involving complex computing, software systems are being augmented with workflow logging functionality. The log data can be effectively organized using declarativ...
192
Voted
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Abstract. At our behest or otherwise, while our software is being executed, a huge variety of design assumptions is continuously matched with the truth of the current condition. Wh...
206
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Schaefer's theorem is a complexity classification result for so-called Boolean constraint satisfaction problems: it states that every Boolean constraint satisfaction problem ...