5525 search results - page 611 / 1105 » Verification of Model Transformations |
189
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Analysis of allographs (characters) and allograph combinations (words) is the key for the identification/verification of a writer's handwriting. While allographs are usually ...
302
click to vote
GIS
2008
ACM
16 years 8 months ago
2008
ACM
In this paper, we discuss an application of spatial data mining to predict pedestrian flow in extensive road networks using a large biased sample. Existing out-of-the-box techniqu...
191
click to vote
VLSID
2001
IEEE
16 years 7 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
189
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
192
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Search engine switching describes the voluntarily transition from one Web search engine to another. In this paper we present a study of search engine switching behavior that combi...