4340 search results - page 790 / 868 » Formal Methods and Cryptography |
149
click to vote
IGPL
2010
15 years 1 months ago
2010
Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as `ope...
138
click to vote
IGPL
2010
15 years 1 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
165
click to vote
CVPR
2011
IEEE
15 years 16 days ago
2011
IEEE
A convenient way of dealing with image sets is to represent them as points on Grassmannian manifolds. While several recent studies explored the applicability of discriminant analy...
147
click to vote
BCB
2010
14 years 11 months ago
2010
Biclustering is a very popular method to identify hidden co-regulation patterns among genes. There are numerous biclustering algorithms designed to undertake this challenging task...
140
click to vote
COLING
2010
14 years 11 months ago
2010
Given the increasing need to process massive amounts of textual data, efficiency of NLP tools is becoming a pressing concern. Parsers based on lexicalised grammar formalisms, such...