368 search results - page 34 / 74 » Advanced Computing and Communications Research under NSF Sup... |
154
click to vote
LICS
1989
IEEE
15 years 9 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
123
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
Development of a research project in Computer Science, integrating a considerable number of research institutions and about 1200 individual researchers all over a country with big...
149
click to vote
EUROMED
2010
15 years 4 months ago
2010
Abstract. In this paper we present the framework for collaborative cyberarchaeology with support for teleimmersive communication which aims to provide more natural interaction and ...
146
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
We study the computational power of a distributed system consisting of simple autonomous robots moving on the plane. The robots are endowed with visual perception but do not have ...
151
click to vote
COCO
2005
Springer
15 years 11 months ago
2005
Springer
We study the complexity of solving succinct zero-sum games, i.e., the games whose payoff matrix M is given implicitly by a Boolean circuit C such that M(i, j) = C(i, j). We comple...