3113 search results - page 67 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
118
Voted
ICDCSW
2000
IEEE
15 years 7 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
120
Voted
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
Recently a deterministic built-in self-test scheme has been presented based on reseeding of multiple-polynomial linear feedback shift registers. This scheme encodes deterministic ...
114
Voted
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
Large scale digitization projects have been conducted at the Internet Archive digital library to preserve cultural artifacts and to provide permanent access. The increasing amount...
128
click to vote
DIS
2008
Springer
15 years 5 months ago
2008
Springer
Frequent closures (FCIs) and generators (FGs) as well as the precedence relation on FCIs are key components in the definition of a variety of association rule bases. Although their...
108
Voted
CGF
2010
15 years 3 months ago
2010
Geometry processing applications frequently rely on octree structures, since they provide simple and efficient hierarchies for discrete data. However, octrees do not guarantee dire...