1026 search results - page 83 / 206 » A Methodology for Equational Reasoning |
PEPM
2011
ACM
13 years 14 hour ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
ICPR
2010
IEEE
14 years 4 months ago
2010
IEEE
Speech processing is typically based on a set of complex algorithms requiring many parameters to be specified. When parts of the speech processing chain do not behave as expected...
ACSD
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting “aspects” and “assume/guarantee” reasoning. From these c...
ICCS
2007
Springer
14 years 3 months ago
2007
Springer
We build a generic methodology based on learning and reasoning to detect specific attitudes of human agents and patterns of their interactions. Human attitudes are determined in te...
RSFDGRC
2005
Springer
14 years 2 months ago
2005
Springer
Pawlak recently introduced rough set flow graphs (RSFGs) as a graphical framework for reasoning from data. Each rule is associated with three coefficients, which have been shown t...