18429 search results - page 3290 / 3686 » Typing dynamic typing |
172
click to vote
ASIAN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A software birthmark is a unique characteristic of a program that can be used as a software theft detection. In this paper we suggest and empirically evaluate a static bi...
184
Voted
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
217
Voted
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
214
Voted
AUSDM
2007
Springer
16 years 1 months ago
2007
Springer
This paper reports the results of feature reduction in the analysis of a population based dataset for which there were no specific target variables. All attributes were assessed a...
173
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Several credential systems have been proposed in which users can authenticate to services anonymously. Since anonymity can give users the license to misbehave, some variants allow...