4820 search results - page 704 / 964 » Implementing Signatures for C |
151
click to vote
CLIMA
2004
15 years 8 months ago
2004
In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of ag...
190
click to vote
CDES
2006
15 years 8 months ago
2006
Predicting protein secondary structure is a key step in determining the 3D structure of a protein that determines its function. The Dictionary of Secondary Structure of Proteins (...
165
click to vote
FORTE
2004
15 years 8 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
178
click to vote
APBC
2003
15 years 8 months ago
2003
In this paper we suggest the requirements for an open platform designed for the description, distribution and analysis of genetic polymorphism data. This platform is discussed in ...
179
click to vote
IC
2001
15 years 8 months ago
2001
- In this paper, we propose a facilitator which finds capable and trustworthy partners on behalf of client users, which helps users form and maintain e-partnerships for electronic ...