1822 search results - page 166 / 365 » The Method of Assigning Incidences |
175
Voted
ASIAN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
205
click to vote
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we present a facial expression recognition method using feature-adaptive motion energy analysis. Our method is simplicityoriented and avoids complicated face model r...
194
click to vote
ACCV
2006
Springer
16 years 1 months ago
2006
Springer
A novel video object segmentation method is proposed which aims at combining color and motion information. The model has a multilayer structure: Each feature has its own layer, cal...
161
Voted
DAC
2010
ACM
15 years 11 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
169
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
In [1], Jejurikar and Gupta investigated energy savings due to optimal slowdown of periodic tasks in real-time task systems, where tasks have varying power characteristics and task...