Sciweavers

2585 search results - page 272 / 517
» Automating Coherent Logic
Sort
View
ICAIL
2003
ACM
15 years 12 months ago
Specifying and Reasoning with Institutional Agents
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
Filipe Santos, Olga Pacheco
ICIP
2005
IEEE
16 years 8 months ago
Posture classification in a multi-camera indoor environment
Posture classification is a key process for analyzing the people's behaviour. Computer vision techniques can be helpful in automating this process, but cluttered environments...
Rita Cucchiara, Andrea Prati, Roberto Vezzani
KCAP
2009
ACM
16 years 1 months ago
Knowledge integration across multiple texts
One of the grand challenges of AI is to build systems that learn by reading. The ideal system would construct a rich knowledge base capable of automated reasoning. We have built a...
Doo Soon Kim, Ken Barker, Bruce W. Porter
ATAL
2007
Springer
16 years 25 days ago
Requirements driven agent collaboration
This paper proposes the requirements driven agent collaboration. This proposal assumes that there are plenty different service agents distributed in Internet. When a request for ...
Liwei Zheng, Zhi Jin
CW
2005
IEEE
16 years 8 days ago
Web-Based Configure-to-Order Platform for Collaborative Development of Customized Products
To support the collaborative development of custom products in current distributed manufacturing, this paper develops a Web-based configure-to-order platform. The proposed platfor...
Roger Jianxin Jiao, Martin G. Helander, Lianfeng Z...