5639 search results - page 504 / 1128 » Timed Abstract Non-interference |
185
click to vote
AH
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. In this paper we present a rule-based personalization framework for encapsulating and combining personalization algorithms known from adaptive hypermedia and recommender ...
171
click to vote
AH
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. A Learning Design(LD) definition under the IMS-LD standard is a complex task for the instructor because it requires a lot of time, effort and previous knowledge of the ...
117
click to vote
ARITH
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— This paper explores the use of the double-base number system (DBNS) for constant integer multiplication. The DBNS recoding scheme represents integers – in this case c...
124
Voted
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—Hybrid methods are very popular for solving problems from combinatorial optimization. In contrast to this the theoretical understanding of the interplay of different opt...
149
click to vote
CIBCB
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Multiple sequence alignment is an important problem in computational biology. A-star is an algorithm that can be used to find exact alignments. We present a simple mod...