1658 search results - page 208 / 332 » Implementing Bit-addressing with Specialization |
98
Voted
IWCLS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper provides a deep insight into the learning mechanisms of UCS, a learning classiļ¬er system (LCS) derived from XCS that works under a supervised learning scheme...
125
Voted
LFCS
2007
Springer
15 years 6 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
112
Voted
OTM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Privacy issues are a major burden for the acceptance of pervasive applications. They may ultimately result in the rejection of new services despite their functional beneļ...
95
Voted
PEPM
2007
ACM
15 years 6 months ago
2007
ACM
A logic program strongly quasi-terminates when only a ļ¬nite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
90
Voted
RV
2007
Springer
15 years 6 months ago
2007
Springer
We introduce a new non-interference criterion for concurrent programs: rollback atomicity. Similarly to other deļ¬nitions of atomicity, rollback atomicity of a given concurrent ex...