3729 search results - page 555 / 746 » On Formal Modeling of Agent Computations |
160
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
Existing task allocation algorithms generally do not consider the effects of task interaction, such as interference, but instead assume that tasks are independent. That assumptio...
186
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
Stable belief sets were introduced by R. Stalnaker in the early ’80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated M...
175
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
179
click to vote
RTCSA
2005
IEEE
16 years 2 days ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
165
click to vote
IWANN
2001
Springer
15 years 11 months ago
2001
Springer
In the beginning of nineties, Hava Siegelmann proposed a new computational model, the Artificial Recurrent Neural Network (ARNN), and proved that it could perform hypercomputation....