1411 search results - page 140 / 283 » Interactive Coding for Interactive Proofs |
139
Voted
CEC
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we present Creature Academy, a virtual laboratory that allows for the evolution of form and function within simulated physical 3D environments. Creature Academy can ...
ICAI
2007
15 years 4 months ago
2007
Abstract Drug-protein binding is the reversible interaction of drugs with proteins in an organism and is vital in helping the body reject invading pathogenic organisms. Predicting ...
126
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
In this paper we introduce an object-oriented coordination language for multi-agents systems. The beliefs and reasoning capabilities ent are specified in terms of a corresponding ...
112
Voted
DAM
2006
15 years 2 months ago
2006
Abstract. Artin's braid groups currently provide a promising background for cryptographical applications, since the first cryptosystems using braids were introduced in [2, 3, ...
131
Voted
TCS
2002
15 years 2 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...