1894 search results - page 114 / 379 » Towards Mobile Reasoning |
155
click to vote
WECWIS
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes a software solution for the WSChallenge 2006. We introduce the MOVE framework that has been applied to this challenge. Also, the architecture, algorithms, and...
171
click to vote
ICTAI
2005
IEEE
15 years 11 months ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
145
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
Nowadays, there is a need for smart learning environments that offer personal services with capabilities to learn, reason, have autonomy and be totally dynamic. In this paper, we p...
155
click to vote
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
155
click to vote
CBSE
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. A component-based system consists of components linked by connectors. Data can reside in components and/or in external data stores. Operations on data, such as access, up...