851 search results - page 53 / 171 » A Framework of Syntactic Models for the Implementation of Vi... |
IJCAI
2001
13 years 10 months ago
2001
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
TAICPART
2006
IEEE
14 years 2 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
CIKM
2000
Springer
14 years 1 months ago
2000
Springer
An e ective bu er management system is crucial for any database management system. While much work has been expended to provide extensible data types,extensible query languages an...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
EACL
2006
ACL Anthology
13 years 10 months ago
2006
ACL Anthology
Unsupervised paraphrase acquisition has been an active research field in recent years, but its effective coverage and performance have rarely been evaluated. We propose a generic ...