8828 search results - page 1409 / 1766 » Formal methods in practice |
188
click to vote
IGPL
2010
15 years 4 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...
225
click to vote
CVPR
2011
IEEE
15 years 3 months 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...
199
click to vote
BCB
2010
15 years 1 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...
185
click to vote
COLING
2010
15 years 1 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...
176
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
This paper examines E. W. Beth’s work in the philosophy of physics, both from a historical and a systematic point of view. Beth saw the philosophy of physics first of all as an ...