5499 search results - page 769 / 1100 » Generalized Rewrite Theories |
180
click to vote
HICSS
2003
IEEE
16 years 24 days ago
2003
IEEE
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents operating in multi-agent environments. We use the...
187
click to vote
ICIP
2003
IEEE
16 years 24 days ago
2003
IEEE
We propose to use approximations of shape metrics, such as the Hausdorff distance, to define similarity measures between shapes. Our approximations being continuous and different...
211
click to vote
ISIPTA
2003
IEEE
16 years 24 days ago
2003
IEEE
The nature of much information available to decision makers is vague and imprecise, be it information for human managers in organisations or for process agents in a distributed co...
230
click to vote
RTSS
2003
IEEE
16 years 23 days ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
194
click to vote
ACMICEC
2003
ACM
16 years 23 days ago
2003
ACM
This paper describes PayCash, an Internet payment system that was designed to offer strong security and privacy protection. This system is based on the concept of electronic cash,...