2253 search results - page 214 / 451 » The ComFoRT Reasoning Framework |
HPDC
2010
IEEE
15 years 3 days ago
2010
IEEE
Advances in internetworking technology and the decreasing cost-performance ratio of commodity computing components have enabled Volunteer Computing (VC). VC platforms aggregate te...
ESWS
2008
Springer
15 years 3 days ago
2008
Springer
One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. The agents should be ...
AAMAS
2008
Springer
14 years 11 months ago
2008
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent/incomplete/uncertain knowledge, based on the construction and the comparison of ar...
113
click to vote
CSL
2010
Springer
14 years 11 months ago
2010
Springer
Robustness is one of the most important topics for automatic speech recognition (ASR) in practical applications. Monaural speech separation based on computational auditory scene a...
125
click to vote
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...