6608 search results - page 1128 / 1322 » On the Completeness of Model Checking |
143
Voted
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
Although more efficient in computation compared to other tracking approaches such as particle filtering, the kernel-based tracking suffers from the "singularity" problem...
244
Voted
ICDE
2007
IEEE
16 years 6 months ago
2007
IEEE
Extensive research for frequent-pattern mining in the past decade has brought forth a number of pattern mining algorithms that are both effective and efficient. However, the exist...
272
click to vote
ICDE
2006
IEEE
16 years 6 months ago
2006
IEEE
Todays abundance of storage coupled with digital technologies in virtually any scientific or commercial application such as medical and biological imaging or music archives deal w...
241
click to vote
ICDE
2001
IEEE
16 years 6 months ago
2001
IEEE
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
139
Voted
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
This paper presents a generic architecture for handwriting documents analysis. It covers all analysis steps from the content description of the document (layout analysis, handwrit...