2357 search results - page 303 / 472 » Computing Refactorings of Behavior Models |
103
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
121
click to vote
PPSN
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents an adaptive tit-for-tat strategy and a study of its behavior in spatial IPD games. The adaptive tit-for-tat strategy is shown elsewhere to demonstrate high perf...
120
click to vote
WFLP
2000
Springer
15 years 7 months ago
2000
Springer
Constructor Systems (CSs) are an important subclass of Term Rewriting Systems (TRSs) which can be used stract model of some programming languages. While normalizing strategies are...
146
click to vote
SIGGRAPH
1995
ACM
15 years 7 months ago
1995
ACM
There have been several recent efforts to build behavior-based autonomous creatures. While competent autonomous action is highly desirable, there is an important need to integrate...
127
Voted
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper presents a distributed Support Vector Machine (SVM) algorithm in order to detect malicious software (malware) on a network of mobile devices. The light-weight system mo...