5290 search results - page 71 / 1058 » Knowledge Processing in Intelligent Systems |
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
AAAI
2007
14 years 11 days ago
2007
Our work links Chinese calligraphy to computer science through an integrated intelligence approach. We first extract strokes of existent calligraphy using a semi-automatic, twoph...
ICIA
2007
14 years 11 days ago
2007
Assisting users with To Do lists presents new challenges for intelligent user interfaces. This paper presents our approach and an implemented system, BEAM, to process To Do list e...
IEEESCC
2007
IEEE
14 years 4 months ago
2007
IEEE
In today’s fast paced world, it is necessary to process business documents expediently, accurately, and diligently. In other words, processing has to be fast, errors must be pre...
SGAI
2007
Springer
14 years 4 months ago
2007
Springer
Grid-World is a working computer model which has been used to investigate the search capabilities of artificial agents that understand the world in terms of non-conceptual content...