780 search results - page 108 / 156 » Reasoning about sets using redescription mining |
TVCG
2010
13 years 9 months ago
2010
As data sources become larger and more complex, the ability to effectively explore and analyze patterns amongst varying sources becomes a critical bottleneck in analytic reasoning...
IFIPTCS
2010
13 years 9 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
GW
2009
Springer
13 years 8 months ago
2009
Springer
This article reports on the exploration of a method based on canonical correlation analysis (CCA) for the analysis of the relationship between gesture and sound in the context of m...
JAIR
2011
13 years 6 months ago
2011
We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with...
POPL
2011
ACM
13 years 1 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...