1888 search results - page 181 / 378 » Proof theory and computational analysis |
107
click to vote
FOCS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper connects two fundamental ideas from theoretical computer science: hard-core set construction, a type of hardness amplification from computational complexity, and boosti...
96
Voted
PODS
2008
ACM
16 years 27 days ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
220
Voted
SERA
2007
Springer
15 years 6 months ago
2007
Springer
Capacity planning is a technique which can be used to predict the computing resource needs of an organization for the future after studying current usage patterns. This is of spec...
108
click to vote
3DPVT
2006
IEEE
15 years 6 months ago
2006
IEEE
The use of surface harmonics for rigid and nonrigid shape description is well known. In this paper we define a set of complete hemispherical harmonic basis functions on a hemisph...
102
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This research aims to develop a model of trust and reputation that will ensure good interactions amongst software agents in large scale open systems. The following are key drivers...