634 search results - page 117 / 127 » Completion Procedures as Semidecision Procedures |
GECCO
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
JELIA
2004
Springer
14 years 22 days ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
CSB
2003
IEEE
14 years 20 days ago
2003
IEEE
This paper presents a novel algorithm for identification and functional characterization of “key” genome features responsible for a particular biochemical process of interest....
CSB
2003
IEEE
14 years 20 days ago
2003
IEEE
NMR resonance peak assignment is one of the key steps in solving an NMR protein structure. The assignment process links resonance peaks to individual residues of the target protei...
ICICS
2003
Springer
14 years 17 days ago
2003
Springer
The advantage of ID-based system is the simplification of key distribution and certification management; a user can directly use his identity as his public key instead of an arbi...