2520 search results - page 428 / 504 » Model-checking behavioral programs |
93
Voted
KI
2007
Springer
15 years 8 months ago
2007
Springer
Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theo...
119
Voted
LCTRTS
2007
Springer
15 years 8 months ago
2007
Springer
Memory management is a critical issue for correctness and performance in real-time embedded systems. Recent work on real-time garbage collectors has shown that it is possible to p...
124
Voted
NETCOOP
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we study a pursuit problem in the context of a wireless sensor network, where the pursuer (i.e., mobile sink) trying to capture a pursuee (i.e., tracked object), movi...
127
click to vote
PRIMA
2007
Springer
15 years 8 months ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
106
Voted
UM
2007
Springer
15 years 8 months ago
2007
Springer
Recommender systems are gaining widespread acceptance in e-commerce applications to confront the “information overload” problem. Collaborative Filtering (CF) is a successful re...