3824 search results - page 320 / 765 » Geometry Constructions Language |
174
click to vote
ICALP
2007
Springer
16 years 26 days ago
2007
Springer
We consider the problem of constructing efficient locally decodable codes in the presence of a computationally bounded adversary. Assuming the existence of one-way functions, we c...
197
click to vote
IWOMP
2007
Springer
16 years 26 days ago
2007
Springer
OpenMP is widely used for shared memory parallel programming and is especially useful for the parallelisation of loops. When it comes to task parallelism, however, OpenMP is less p...
178
click to vote
KCAP
2005
ACM
16 years 8 days ago
2005
ACM
This paper describes a new environment, COE, for capturing and formally representing expert knowledge for use in the Semantic Web. COE exploits the ease of use and rapid knowledge...
174
click to vote
DALT
2005
Springer
16 years 5 days ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
178
click to vote
ICALP
2004
Springer
16 years 2 days ago
2004
Springer
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...