1701 search results - page 181 / 341 » Computer Science and State Machines |
153
click to vote
IWLCS
2005
Springer
15 years 8 months ago
2005
Springer
Aiming to clarify the convergence or divergence conditions for Learning Classifier System (LCS), this paper explores: (1) an extreme condition where the reinforcement process of ...
128
click to vote
ENTCS
2006
15 years 3 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
245
click to vote
Publication
A new correlation technique for Grey-Scale Template Image Matching, the Cross-Sectional Histogram Correlation (CHC) Method, is proposed. In comparison to the traditional, widely-us...
125
click to vote
CHI
2008
ACM
16 years 3 months ago
2008
ACM
Although they work with two non-humanoid robots located several million miles away, the distributed team that operates the Mars Exploration Rovers demonstrates an uncanny sympathy...
103
click to vote
WEBI
2005
Springer
15 years 8 months ago
2005
Springer
Intrusion detection on the internet is a heated research field in computer science, where much work has been done during the past two decades. In this paper, we build a network-b...