3729 search results - page 720 / 746 » On Formal Modeling of Agent Computations |
127
click to vote
ACMICEC
2003
ACM
15 years 7 months ago
2003
ACM
In recent years, the growth of Mobile Computing, Electronic Commerce and Mobile Electronic Commerce has created a new concept of Mobile Electronic Marketing. New marketing models ...
162
click to vote
MOBIHOC
2007
ACM
16 years 1 months ago
2007
ACM
Existing work on the capacity of wireless networks predominantly considers homogeneous random networks with random work load. The most relevant bounds on the network capacity, e.g...
146
click to vote
MICRO
2002
IEEE
15 years 6 months ago
2002
IEEE
Pre-execution attacks cache misses for which conventional address-prediction driven prefetching is ineffective. In pre-execution, copies of cache miss computations are isolated fr...
128
click to vote
ECAL
1995
Springer
15 years 5 months ago
1995
Springer
Arti cial Life and the more general area of Complex Systems does not have a uni ed theoretical framework although most theoretical work in these areas is based on simulation. This ...
112
click to vote
DLOG
2004
15 years 3 months ago
2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...