4498 search results - page 299 / 900 » How to Invent Functions |
135
click to vote
COCO
1999
Springer
15 years 9 months ago
1999
Springer
In this paper, we show how to extend the argument due to Bonet, Pitassi and Raz to show that bounded-depth Frege proofs do not have feasible interpolation, assuming that factoring...
123
Voted
EPIA
1999
Springer
15 years 9 months ago
1999
Springer
We present two models of hierarchical structured multi-agents, and we describe how to obtain a modal knowledge base from distributed sources. We then propose a computationally orie...
185
Voted
MAAMAW
1999
Springer
15 years 9 months ago
1999
Springer
Cooperation plays a fundamental role in multi-agent systems in which individual agents must interact for the overall system to function effectively. However, cooperation inherently...
142
Voted
ICRA
1998
IEEE
15 years 9 months ago
1998
IEEE
We discuss a robotic module called a Molecule. Molecules can be the basis for building selfreconfiguring robots. They support multiple modalities of locomotion and manipulation. W...
126
Voted
ICSM
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper, we describe the reengineering of a deteriorated object-oriented industrial program written in C++. The main problem of the program was misplaced code, most often fu...