18716 search results - page 3490 / 3744 » Automatic |
240
click to vote
WWW
2003
ACM
16 years 19 days ago
2003
ACM
In the past few years we have seen a huge industrial investment on the development of content delivery networks (CDNs) which provide a large number of caches and storage devices a...
187
Voted
ATAL
2003
Springer
16 years 18 days ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
189
click to vote
ATAL
2003
Springer
16 years 18 days ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
189
Voted
CAIP
2003
Springer
16 years 18 days ago
2003
Springer
A new direction in improving modern dialogue systems is to make a human-machine dialogue more similar to a human-human dialogue. This can be done by adding more input modalities. O...
206
click to vote
CCS
2003
ACM
16 years 18 days ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...