7554 search results - page 845 / 1511 » Process Diagnostics: A Method Based on Process Mining |
191
click to vote
FORMATS
2010
Springer
15 years 5 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
191
click to vote
IEICET
2010
15 years 2 months ago
2010
Polar Fourier Descriptor(PFD) and Spherical Fourier Descriptor(SFD) are rotation invariant feature descriptors for two dimensional(2D) and three dimensional(3D) image retrieval an...
189
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we describe the analysis component of an indoor, real-time, multi-camera surveillance system. The analysis includes: (1) a novel feature-level foreground segmentatio...
175
click to vote
DATE
2002
IEEE
16 years 6 days ago
2002
IEEE
There are some types of faults in analogue and mixed signal circuits which are very difficult to detect using either voltage or current based test methods. However, it is possible...
159
click to vote
CGI
2001
IEEE
15 years 11 months ago
2001
IEEE
Anti-aliasing in form factor computation and precise determination of shadow boundaries are important issiresfor Radiosity method. A-Buffer is a technique introduced by Carpenter ...