6020 search results - page 1041 / 1204 » A New Approach to Model Counting |
186
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Computational simulation of time-varying physical processes is of fundamental importance for many scientific and engineering applications. Most frequently, time-varying simulation...
166
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper describes a new approach to combine multiple modalities and applies it to the problem of affect recognition. The problem is posed as a combination of classifiers in a p...
176
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper a writer-independent on-line handwriting recognition system is described comparing the influence of handwriting normalization and adaptation techniques on the recogn...
162
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...
147
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. In radiotherapy, the constant margin taken around the visible tumor is a very coarse approximation of the invasion margin of cancerous cells. In this article, a new formu...