2261 search results - page 389 / 453 » Relationships Between Models of Concurrency |
103
click to vote
ISMB
1994
15 years 1 months ago
1994
Wepresent algorithms for kinematic manipulation of molecular chains subject to fixed bond lengths and bond angles. They are useful for calculating conformations of a molecule subj...
111
click to vote
ISMB
1993
15 years 1 months ago
1993
Wedescribe various methods designed to discover knowledge in the GenBanknucleic acid sequence database. Using a grammatical model of gene structure, we create a parse tree of a ge...
100
click to vote
ATAL
2010
Springer
15 years 29 days ago
2010
Springer
There is a chronic lack of shared application domains to test the research models and agent architectures on areas like negotiation, argumentation, trust and reputation. In this d...
100
click to vote
CIKM
2008
Springer
15 years 29 days ago
2008
Springer
This paper aims to quantify two common assumptions about social tagging: (1) that tags are “meaningful” and (2) that the tagging process is influenced by tag suggestions. For...
CSL
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...