4894 search results - page 401 / 979 » Choices |
166
click to vote
IJNS
2007
15 years 7 months ago
2007
Oligo kernels for biological sequence classification have a high discriminative power. A new parameterization for the K-mer oligo kernel is presented, where all oligomers of lengt...
186
click to vote
IJNVO
2007
15 years 7 months ago
2007
It is argued that firm cooperation in supply chain management can be classified as a hybrid governance structure in a new institutional sense. Using a key informant survey, explora...
204
click to vote
STTT
2008
15 years 7 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
195
click to vote
SYNTHESE
2008
15 years 7 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
162
click to vote
AMC
2005
15 years 7 months ago
2005
A multisignature scheme for specified group of verifiers needs a group of signers' cooperation to sign a message to a specified group of verifiers that must cooperate to check...