112 search results - page 6 / 23 » Compact explosion diagrams |
66
Voted
ICDE
2008
IEEE
15 years 4 months ago
2008
IEEE
— Similarity joins have attracted significant interest, with applications in Geographical Information Systems, astronomy, marketing analyzes, and anomaly detection. However, all...
RISE
2004
Springer
15 years 2 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
151
click to vote
ASIAMS
2009
IEEE
15 years 2 months ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
89
Voted
TSMC
2008
14 years 8 months ago
2008
In this paper, a new methodology to build compact local maps in real time for outdoor robot navigation is presented. The environment information is obtained from a 3-D scanner lase...
102
Voted
BMVC
2010
14 years 7 months ago
2010
Recently, sparse coding has been receiving much attention in object and scene recognition tasks because of its superiority in learning an effective codebook over k-means clusterin...