5639 search results - page 432 / 1128 » Timed Abstract Non-interference |
108
click to vote
IEICET
2008
15 years 4 months ago
2008
Abstract. In this paper we propose an algorithm of factoring any integer N which has k different prime factors with the same bit-length, when ( 1 k+2 + k(k-1) ) log N high-order bi...
171
click to vote
IPL
2008
15 years 4 months ago
2008
Abstract. We establish linear-time reductions between the minimization of a deterministic finite automaton (DFA) and the conjunction of 3 subproblems: the minimization of a strongl...
125
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract A preliminary experimental study is presented, that aims at eliciting the contribution of oral messages to facilitating visual search tasks on crowded displays. Results of...
132
Voted
IJCM
2007
15 years 4 months ago
2007
Abstract. This paper explores the feasibility of using an eye tracker as an image retrieval interface. A database of image similarity values between 1000 Corel images is used in th...
123
click to vote
TEC
2008
15 years 4 months ago
2008
Abstract--In previous research, we have designed and successfully tested a Traffic Light Cycles Evolutionary Optimization Architecture. In this paper, we attempt to validate those ...