4609 search results - page 491 / 922 » Automatic Generation of Sigma-Protocols |
174
click to vote
IBPRIA
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In pattern matching based Protein-Protein Interaction Extraction systems, patterns generated manually or automatically exist erroneous and redundancy, which greatly affec...
167
click to vote
OTM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Learning Object Metadata (LOM) is an interoperable standard focused on enabling the reuse of learning material for authoring lessons. Nevertheless, few work was done on t...
161
click to vote
ER
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Recent developments in reification of ER schemata include automatic generation of webbased database administration systems [1,2]. These systems enforce the schema cardin...
169
click to vote
EVOW
2004
Springer
16 years 7 days ago
2004
Springer
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...
188
click to vote
FORMATS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the rea...