27827 search results - page 240 / 5566 » Generating |
112
click to vote
JDA
2006
15 years 1 months ago
2006
We produce an algorithm that is optimal with respect to both space and execution time to generate all the lozenge (or domino) tilings of a hole-free, general-shape domain given as...
ENGL
2007
15 years 1 months ago
2007
- The Wildhaber-Novikov gear is one of the circular arc gears, which has the large contact area between the convex and concave profiled mating teeth. In (June 28, 1999), a new geom...
100
click to vote
ENTCS
2007
15 years 1 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
110
click to vote
LPAR
2010
Springer
15 years 12 days ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
VTC
2010
IEEE
15 years 9 days ago
2010
IEEE
—Vehicular networks are on the fast track to become a reality either through a car manufacturer that introduces a communication device in the car electronics or through an afterm...