1634 search results - page 278 / 327 » Reasoning about Knowledge Using Rough Sets |
TVCG
2010
13 years 8 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 8 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 7 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...
DALT
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Norm-aware agents are able to reason about the obligations, permissions and prohibitions that affect their operation. While much work has focused on the creation of such ...
POPL
2011
ACM
13 years 28 days 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...