17541 search results - page 149 / 3509 » Complexity in scalable computing |
175
click to vote
SIAMCOMP
2000
15 years 6 months ago
2000
This paper puts forward a new notion of a proof based on computational complexity and explores its implications for computation at large. Computationally sound proofs provide, in a...
181
click to vote
WAIM
2010
Springer
15 years 4 months ago
2010
Springer
The increasing popularity of Community Web Management Systems (CWMSs) calls for tailor-made data management approaches for them. Still, existing CWMSs have mostly focused on simple...
193
click to vote
DLOG
2008
15 years 8 months ago
2008
Abstract. Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extension...