3082 search results - page 163 / 617 » Deviation Analysis: A New Use of Model Checking |
206
click to vote
WCE
2007
15 years 7 months ago
2007
— This paper presents the initial results of a study aimed at improving the method by which the vibrations produced by transport vehicles are characterised and simulated. More sp...
165
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Synchronous Data Flow Graphs (SDFGs) have proven to be suitable for specifying and analyzing streaming applications that run on single- or multi-processor platforms. Streaming appl...
145
click to vote
SDM
2007
SIAM
15 years 7 months ago
2007
SIAM
Logistic models are arguably one of the most widely used data analysis techniques. In this paper, we present analyses focussing on two important aspects of logistic models—its r...
173
click to vote
ELPUB
2006
ACM
16 years 11 days ago
2006
ACM
Various new imaging techniques have been used at the C2RMF, in order to digitize paintings and objects. These techniques are used for extensive and detailed non-destructive analys...
197
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
For handwritten character recognition, a new elastic image matching (EM) technique based on a class-dependent deformation model is proposed. In the deformation model, any deformat...